4117 search results - page 215 / 824 » On the Satisfiability of Complex Constraints |
177
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
— In this paper, we present a new integration method for improving the performance of visual servoing. The method integrates both image-based visual servoing (IBVS) and positionb...
249
click to vote
FAABS
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
146
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Discussions of agent interactions frequently characterize behavior as “coherent,” “collaborative,” “cooperative,” “competitive,” or “coordinated.” We propose a...
109
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
We present a framework and control policies for optimizing dynamic control of various self-tuning parameters over lifetime in the presence of circuit aging. Our framework introduc...
154
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Structured light is one of the well-known methods in part dimensional inspection that have been successfully employed in various applications in the past decades. In this method, ...