4814 search results - page 248 / 963 » Combining abstract interpreters |
174
click to vote
ECAL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Evolutionary robotics simulations can serve as a tool to clarify counterintuitive or dynamically complex aspects of sensorimotor behaviour. We present a series of simulat...
163
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
158
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
189
click to vote
MIRAGE
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this paper we present an agent that can analyse certain human fullbody movements in order to respond in an expressive manner with copying behaviour. Our work focuses o...
147
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...