-
-
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 ...851 Hits Rating
-
SAMOPROS: Planning and supervision of production in robotic cellsupervisione production in robotic cells913 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 ...440 Hits Rating
-
OPTAMS: Optimizer All Monitoring System, ottimizzazioneANALISI DEI REQUISITI GENERALI DELLOTTIMIZZATOR163 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 ...536 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 3112 Hits -
Esempio di MPEG-21 ebook: il moto uniforme per ipadEsempio di MPEG-21 ebook: il moto uniforme per ipad1006 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 ...570 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, ...306 Hits Rating