4767 search results - page 222 / 954 » Structures for Abstract Rewriting |
152
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
155
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper introduces AtomSwarm, a framework for soundbased performance using swarm dynamics. The classical ruleset for flocking simulations is augmented with genetically...
161
click to vote
FOIS
2010
15 years 8 months ago
2010
Abstract. The paper examines the semantics of the terms `environment' and `habitat' and presents a semi-formalised ontological framework in which these concepts are relat...
149
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
171
click to vote
EUMAS
2006
15 years 8 months ago
2006
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...