1897 search results - page 307 / 380 » Conditional Linear Planning |
108
Voted
CSFW
2003
IEEE
15 years 6 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
78
Voted
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
— A new 3D biped prototype with small DOF, SKIPPER, was developed. As an important component of a running controller for this robot, an aerial posture controller is presented. Th...
103
click to vote
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we present a precise characterization of the existence of a convergent transfer subgraph in an edge colored directed acyclic graph. Based on the characterization, l...
106
Voted
VTS
2003
IEEE
15 years 6 months ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
105
Voted
ICMI
2003
Springer
15 years 6 months ago
2003
Springer
We present a multi-camera vision-based eye tracking method to robustly locate and track user’s eyes as they interact with an application. We propose enhancements to various visi...