21094 search results - page 332 / 4219 » An experiment using DLV-K |
138
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
186
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a physical model-based method for recovering and tracking nonrigid motion of elastic objects. The proposed method recovers the motion in terms of actual physic...
148
click to vote
ICCHP
2010
Springer
15 years 11 months ago
2010
Springer
We propose MarkerMouse, an inexpensive method for controlling the mouse cursor using a web cam and a marker placed on the user’s forehead. Two modes of cursor control were compar...
163
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We are exploring techniques for animation authoring and editing using a haptic force-feedback device. In our system, a family of animations is encoded by a bundle of trajectories....
175
Voted
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We are trying to induce a quadruped robot to walk dynamically on irregular terrain by using a neural system model. In this paper, we integrate several reflexes such as stretch ref...