3256 search results - page 647 / 652 » Applications of Formal Methods to System Design and Verifica... |
JCDL
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we present a method of parsing unstructured textual records briefly describing a person and their direct relatives, which we use in the construction of a browsing t...
SIGUCCS
2006
ACM
14 years 1 months ago
2006
ACM
As technology permeates more aspects of our everyday lives, greater demands are placed on information technology personnel. Lehigh University computing consultants have found thei...
INFOCOM
2005
IEEE
14 years 29 days ago
2005
IEEE
— In wireless sensor networks (WSNs), sensor location plays a critical role in many applications. Having a GPS receiver on every sensor node is costly. In the past, a number of l...
MM
2005
ACM
14 years 29 days ago
2005
ACM
Automatically extracting semantic content from audio streams can be helpful in many multimedia applications. Motivated by the known limitations of traditional supervised approache...
MUM
2005
ACM
14 years 28 days ago
2005
ACM
We present PhoneGuide – an enhanced museum guidance approach that uses camera-equipped mobile phones and on-device object recognition. Our main technical achievement is a simple...