844 search results - page 112 / 169 » Reachability in Linear Dynamical Systems |
113
click to vote
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
103
Voted
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
88
Voted
IJCAI
1989
15 years 6 days ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
109
click to vote
ISMAR
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the key requirements of augmented reality systems is a robust real-time camera pose estimation. In this paper we present a robust approach, which does neither depend on ofï...
EOR
2007
14 years 11 months ago
2007
This paper describes an integrated location-distribution model for coordinating logistics support and evacuation operations in disaster response activities. Logistics planning in ...