210 search results - page 34 / 42 » Presenting Functors by Operations and Equations |
168
click to vote
IROS
2006
IEEE
16 years 4 min ago
2006
IEEE
This paper presents design and manufacturing procedure of a tele-operative rescue robot. First, the general task to be performed by such a robot is defined, and variant kinematic m...
164
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a modified optimal control model of drug scheduling in cancer chemotherapy and a new adaptive elitist-population based genetic algorithm (AEGA) to solve it. Wo...
150
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
150
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
162
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the problem of 3D reconstruction from a set of viewpoints on a short baseline. Its main contribution is the development of a robust algorithm which can extrac...