3688 search results - page 174 / 738 » Static analysis of aspects |
151
click to vote
ECR
2006
15 years 6 months ago
2006
Within the software industry software piracy is a great concern. In this article we address this issue through a prevention technique called software watermarking. Depending on ho...
129
click to vote
AR
2004
15 years 6 months ago
2004
Abstract. This article addresses the problem of localising a static gas source in an indoor environment by a mobile robot. In contrast to previous works, the environment is not art...
196
click to vote
ICRA
2010
IEEE
15 years 5 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 ...
282
click to vote
POPL
2006
ACM
16 years 6 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...
120
click to vote
ICRA
2006
IEEE
16 years 17 days 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...