602 search results - page 76 / 121 » Program Calculation in Coq |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper presents a new method for a six degrees of freedom haptic feedback in molecular docking simulations in virtual reality. The proposed method allows real-time haptic i...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—The paper presents a novel integrated MAC/routing scheme for wireless sensor networking. Our design objective is to elect the next hop for data forwarding by minimizing the numb...
ACCV
2007
Springer
14 years 3 months ago
2007
Springer
In the paper, we proposed a method for moving human detection in video frames by motion contour matching. Firstly, temporal and spatial difference of frames is calculated and conto...
REFSQ
2007
Springer
14 years 3 months ago
2007
Springer
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...
APN
2005
Springer
14 years 2 months ago
2005
Springer
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...