2797 search results - page 238 / 560 » Control Structures |
172
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
87
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
102
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this contribution we investigate the problem of simultaneous observer based sensor diagnosis and speed estimation of Unmanned Aerial Vehicle (UAV). The main features lie in the...
109
click to vote
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— We consider the problem of efficiently storing ngram counts for large n over very large corpora. In such cases, the efficient storage of sufficient statistics can ha...
130
Voted
AMS
2007
Springer
15 years 9 months ago
2007
Springer
The design and development of locomotory subsystems such as legs is a key issue in the broader topic of autonomous mobile systems. Simplification of substructures, sensing, actuat...