3342 search results - page 372 / 669 » Automating Abstract Interpretation |
205
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— This paper considers the localizaton and navigation of a mobile robot. The control strategy is based on a nonlinear model predictive control technique that utilizes the...
152
click to vote
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
171
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...
152
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Peer-oriented computing is an attempt to weave interconnected machines into the fabric of the Internet. Service-oriented computing (exemplified by web-services), on the ...
131
click to vote
ECSQARU
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The Hugin and Shenoy–Shafer architectures are two variations on the jointree algorithm, which exhibit different tradeoffs with respect to efficiency and query answeri...