42 search results - page 5 / 9 » Disambiguating Sounds through Context |
VMCAI
2009
Springer
14 years 1 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
TIME
2009
IEEE
14 years 1 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
MOBICOM
2006
ACM
14 years 28 days ago
2006
ACM
Underwater acoustic communications systems are challenged by the characteristics of acoustic propagation through the underwater environment. There are a wide range of physical pro...
CLEANDB
2006
ACM
13 years 10 months ago
2006
ACM
We consider the Entity Resolution (ER) problem (also known as deduplication, or merge-purge), in which records determined to represent the same real-world entity are successively ...