2673 search results - page 156 / 535 » Guided Static Analysis |
158
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...
234
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper investigates the robustness of underconstrained cable-driven robots to external disturbance wrenches (force/moment combinations). Two cases are considered: i...
115
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
125
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...