Title :
Context-aware labels: Generation and verification
Author_Institution :
Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Melbourne, VIC, Australia
fDate :
March 29 2010-April 2 2010
Abstract :
Systems to date have labels which are assigned by a person, e.g., tagging an object or a place with a keyword or phrase. Given some entities already labelled, a formal mechanism of generating labels using spatial context (detectable by sensors) is useful, not only to create new labellings without manual effort, but also that the labels can be used as queries to verify spatial properties of collections of objects.
Keywords :
formal verification; ontologies (artificial intelligence); ubiquitous computing; context-aware labels; formal mechanism; label generation; label verification; spatial context; Advertising; Computer science; Containers; Data processing; Global Positioning System; Labeling; Object detection; Ontologies; Sensor phenomena and characterization; Tagging;
Conference_Titel :
Pervasive Computing and Communications Workshops (PERCOM Workshops), 2010 8th IEEE International Conference on
Conference_Location :
Mannheim
Print_ISBN :
978-1-4244-6605-4
Electronic_ISBN :
978-1-4244-6606-1
DOI :
10.1109/PERCOMW.2010.5470539
