286 search results - page 24 / 58 » Playing the Minesweeper with Constraints |
CNSR
2008
IEEE
14 years 2 months ago
2008
IEEE
Key establishment plays a central role in authentication and encryption in wireless sensor networks, especially when they are mainly deployed in hostile environments. Because of t...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Trifocal tensor encapsulates the geometric constraints between three views. It plays an important role in computer vision. However elements in measurement matrix of existing linea...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper introduces box approximations as a new tool for path planning of closed-loop linkages. Box approximations are finite collections of rectangloids that tightly envelo...
CSCLP
2007
Springer
14 years 1 months ago
2007
Springer
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
PADL
2007
Springer
14 years 1 months ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...