DocumentCode
2443140
Title
Context-aware labels: Generation and verification
Author
Loke, Seng W.
Author_Institution
Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Melbourne, VIC, Australia
fYear
2010
fDate
March 29 2010-April 2 2010
Firstpage
776
Lastpage
779
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/PERCOMW.2010.5470539
Filename
5470539
Link To Document