2647 search results - page 210 / 530 » Solving Term Inequalities |
158
click to vote
AR
2004
15 years 6 months ago
2004
Robotic manipulators can execute multiple tasks precisely at the same time and, thus, the task-priority scheme plays an important role in implementing multiple tasks. Until now, se...
181
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
172
click to vote
ARTMED
1999
15 years 6 months ago
1999
The process of reprogramming a cardiac pacemaker can be described in terms similar to those used for describing diagnostic problem solving. In this paper, the process of reprogram...
173
click to vote
MONET
2002
15 years 6 months ago
2002
We consider the problem of data dissemination in a satellite network. In contrast to previously studied models, broadcasting is among peers, rather than client server. We introduc...
154
click to vote
PR
2002
15 years 6 months ago
2002
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...