6608 search results - page 1176 / 1322 » On the Completeness of Model Checking |
161
click to vote
CRV
2004
IEEE
15 years 7 months ago
2004
IEEE
- This paper presents a global method to process monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only t...
131
click to vote
CAAN
2006
Springer
15 years 7 months ago
2006
Springer
Gossiping is a communication primitive where each node of a network possesses a unique message that is to be communicated to all other nodes in the network. We study the gossiping ...
134
Voted
CP
2006
Springer
15 years 7 months ago
2006
Springer
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
174
Voted
DAWAK
2006
Springer
15 years 7 months ago
2006
Springer
Recently, the data stream, which is an unbounded sequence of data elements generated at a rapid rate, provides a dynamic environment for collecting data sources. It is likely that ...
112
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...