5372 search results - page 832 / 1075 » complexity 2007 |
170
click to vote
SAFECOMP
2007
Springer
16 years 22 days ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
169
click to vote
SAMOS
2007
Springer
16 years 22 days ago
2007
Springer
As multi-processor system-on-chip (MPSoC) has become an effective solution to ever-increasing design complexity of modern embedded systems, fast and accurate HW/SW cosimulation of...
170
click to vote
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
—In this paper we present a scalable and distributed system for image retrieval based on visual features and annotated text. This system is the core of the SAPIR project. Its arc...
153
click to vote
SARA
2007
Springer
16 years 22 days ago
2007
Springer
Multi-robot area coverage poses several research challenges. The challenge of coordinating multiple robots’ actions coupled with the challenge of minimizing the overlap in covera...
161
click to vote
SARA
2007
Springer
16 years 22 days ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...