1151 search results - page 79 / 231 » A Generative Approach for Multi-agent System Development |
138
click to vote
APAL
2010
15 years 4 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
115
click to vote
BC
2005
15 years 4 months ago
2005
Thelateral-linesystemisauniquefacilityofaquatic animals to locate predator, prey, or conspecifics. We present a detailed model of how the clawed frog Xenopus, or fish, can localize...
151
click to vote
AVI
2004
15 years 6 months ago
2004
In this paper we present a novel integrated 3D editing environment that combines recent advantages in various fields of computer graphics, such as shape modelling, video-based Hum...
126
click to vote
SEW
2005
IEEE
15 years 10 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
166
click to vote
APN
2000
Springer
15 years 8 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...