3446 search results - page 463 / 690 » A Reasoning Algorithm for pD* |
171
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
A critical issue in moving object databases is to develop appropriate indexing structures for continuously moving object locations so that queries can still be performed efficien...
134
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
156
click to vote
CNSR
2007
IEEE
15 years 7 months ago
2007
IEEE
Wireless sensor networks have mainly been designed for information-collecting purposes, such as habitat monitoring, product process tracing, battlefield surveillance, etc. In orde...
156
click to vote
DAC
2008
ACM
15 years 7 months ago
2008
ACM
This paper presents an automated analog synthesis tool for topology generation and subsequent circuit sizing. Though sizing is indispensable, the paper mainly concentrates on topo...
166
click to vote
DCOSS
2008
Springer
15 years 7 months ago
2008
Springer
We propose CaliBree, a self-calibration system for mobile wireless sensor networks. Sensors calibration is a fundamental problem in a sensor network. If sensor devices are not prop...