2203 search results - page 252 / 441 » Temporal Abstract Interpretation |
129
Voted
ECAL
2007
Springer
15 years 10 months 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...
117
Voted
ESOP
2007
Springer
15 years 10 months 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 ...
141
Voted
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
128
Voted
FSTTCS
2007
Springer
15 years 10 months 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...
148
Voted
MIRAGE
2007
Springer
15 years 10 months 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...