4117 search results - page 207 / 824 » On the Satisfiability of Complex Constraints |
151
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...
171
click to vote
ATVA
2007
Springer
16 years 23 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...
205
click to vote
CCECE
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we introduce new algorithms for selecting taxon samples from large evolutionary trees, maintaining uniformity and randomness, under certain new constraints on the t...
160
click to vote
CSMR
2005
IEEE
16 years 6 days ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...