4524 search results - page 202 / 905 » The Complexity of Global Constraints |
183
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
196
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
152
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
We address the problem of the stitching task in endoscopic surgery using a circular needle under robotic assistance. Our main focus is to present an algorithm for suturing using gu...
149
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
Control architectures, such as the LAAS architecture [1], CLARATY [12] and HARPIC [9], have been developped to provide autonomy to robots. To achieve a robot’s task, these contr...
172
click to vote
ATVA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...