-
-
MYSTORYPLAYER: SEMANTIC AUDIO VISUAL ANNOTATION AND NAVIGATION TOOLMost of the solutions for accessing semantically annotated media provide clients for interpreting simplified information and not to directly executing the semantic annotations. Thus, the ...693 Hits Rating
-
SAMOPROS: Planning and supervision of production in robotic cellsupervisione production in robotic cells124 Hits Rating
-
A Distributed Industrial Application for Quality Control of Clinched Boards based on Computer VisionIn the last years, a system for joining metal sheets by using a cold press joining technique has been invented and called clinching. This technique has been adopted in the production of metal ...302 Hits Rating
-
OPTAMS: Optimizer All Monitoring System, ottimizzazioneANALISI DEI REQUISITI GENERALI DELLOTTIMIZZATOR107 Hits Rating
-
Ontology Construction and Knowledge Base Feeding and Cleaning for Smart-city ServicesPresently a very large number of public and private data sets are available around the local governments. In most cases, they are not semantically interoperable and a huge human effort is needed ...387 Hits Rating
-
SlideShare most viewed in the second week of august 2014Most viewed this week Overview on Smart City: Smart City for Beginners Views 201 +19 Favorites 2 Downloads 58 +5 DISIT Ontology for Smart Cities, from mobility to points of interests, ver.2.0 Views 290 +17 Favorites 1 Downloads 0 DISIT lab and research group, 2014 overview for the next calls Views 46 +6 Favorites 1 Downloads 0 Il cloud per l’accelerazione del business delle PMI: il progetto Icaro Views 44 +5 Favorites 0 Downloads 1 TUTORIAL 2/2 (of the second part) ECLAP 2012 Conference, IPR management, IPR wizard, groups and aggregations Views 128 +4 Favorites 0 Downloads 394 Hits -
Esempio di MPEG-21 ebook: il moto uniforme per ipadEsempio di MPEG-21 ebook: il moto uniforme per ipad912 Hits Rating
-
Communicating TILCO: a Model for Real-Time System SpecificationFormal techniques for the specification of real-time systems must be capable of describing a set of relationships expressing the temporal constraints among events and actions: properties of ...269 Hits Rating
-
Validating Component Integration with C-TILCO, a Case StudyTemporal logics are typically used to specify and verify properties and thus requirements, to describe the system and prove that such a formalization meets the expected behavior. In this paper, ...209 Hits Rating