4209 search results - page 316 / 842 » Abstract Dialectical Frameworks |
154
click to vote
ICRA
2006
IEEE
16 years 20 days ago
2006
IEEE
— We address the problem of modeling and controlling a swarm of fully actuated point-like robots in three dimensions by generalizing the planar framework from [1]. We define a e...
139
click to vote
ICRA
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— Inter-component communication has received considerable attention by robotic software architects as various frameworks and toolkits have matured. While the resulting pl...
196
click to vote
ESOP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
166
click to vote
ESTIMEDIA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
161
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...