6546 search results - page 1099 / 1310 » Improving the Performance of the RISE Algorithm |
117
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the design, implementation, and evaluation of EnviroMic, a novel distributed acoustic monitoring, storage, and trace retrieval system. Audio represents one of ...
134
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 10 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
123
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a software component that enables NetSolve with direct communications between servers in a non-intrusive and incremental way. Non-intrusiveness means that the s...
153
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— One primary goal in rescue robotics is to deploy a team of robots for coordinated victim search after a disaster. This requires robots to perform subtasks, such as victim detec...
149
click to vote
SBACPAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Multi-dimensional imaging techniques involve the processing of high resolution images commonly used in medical, civil and remote-sensing applications. A barrier commonly encounter...