2926 search results - page 358 / 586 » Partially Optimal Routing |
126
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper proposes a new way to achieve robotic tasks by visual servoing. Instead of using geometric features (points, straight lines, pose, homography, etc.) as it is usually...
125
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
104
Voted
ACRI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Polymer injection in moulds with complicated shapes is common in todays industrial problems. A challenge is to optimize the mould design which leads to the most homogeneo...
128
Voted
LCTRTS
1998
Springer
15 years 7 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
121
Voted
AAAI
2000
15 years 5 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...