1297 search results - page 165 / 260 » Control of systems integrating logic, dynamics, and constrai... |
111
click to vote
TACAS
1999
Springer
15 years 5 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
121
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper we present a methodology to drive the end effector of a robotic manipulator across the surface of an object in the workspace, and at the same time the manipulator...
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...
110
click to vote
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. Vision systems for various tasks are increasingly being deployed. Although significant effort has gone into improving the algorithms for such tasks, there has been relati...