537 search results - page 64 / 108 » Extended directed triple systems |
ROBOCUP
2007
Springer
14 years 4 months ago
2007
Springer
In this article the classical self-localization approach is improved by estimating, independently from the robot’s pose, the robot’s odometric error and the landmarks’ poses....
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— We propose a novel control framework for bilateral teleoperation of a pair of multi-degree-of-freedom (DOF) nonlinear robotic systems under constant communication delays. The p...
RTAS
2006
IEEE
14 years 4 months ago
2006
IEEE
Prior research on schedulability bounds focused primarily on bounding utilization as a means to meet deadline constraints. Non-trivial bounds were found for a handful of schedulin...
TAICPART
2006
IEEE
14 years 4 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
ESOP
2005
Springer
14 years 3 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...