7890 search results - page 351 / 1578 » The MathSAT 3 System |
199
click to vote
ICRA
2006
IEEE
16 years 1 months 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...
178
Voted
GECCO
2005
Springer
16 years 29 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...
193
Voted
TLCA
2005
Springer
16 years 28 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...
212
Voted
VISUALIZATION
2002
IEEE
16 years 11 days 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...
172
Voted
HYBRID
2007
Springer
16 years 1 months 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...