338 search results - page 55 / 68 » On the Complexity of Termination Inference for Processes |
102
click to vote
TMC
2010
14 years 8 months ago
2010
—This paper presents SYNAPSE++, a system for over the air reprogramming of wireless sensor networks (WSNs). In contrast to previous solutions, which implement plain negative ackn...
183
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
In foggy weather, the contrast of images grabbed by in-vehicle cameras in the visible light range is drastically degraded, which makes the current applications very sensitive to we...
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
Markov networks are extensively used to model complex sequential, spatial, and relational interactions in fields as diverse as image processing, natural language analysis, and bio...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
RAS
2010
14 years 8 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...