7890 search results - page 351 / 1578 » The MathSAT 3 System |
169
click to vote
ICRA
2006
IEEE
16 years 22 days ago
2006
IEEE
— This paper addresses the design of a control law for vision-based robot navigation. The method proposed is based on a topological representation of the environment. Within this...
158
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...
172
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
182
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Motion provides strong visual cues for the perception of shape and depth, as demonstrated by cognitive scientists and visual artists. This paper presents a novel visualization tec...
154
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...