1689 search results - page 219 / 338 » Refining abstract interpretations |
185
click to vote
DALT
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
161
click to vote
ECAL
2007
Springer
16 years 2 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...
154
click to vote
ESOP
2007
Springer
16 years 2 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 ...
163
click to vote
EVOW
2007
Springer
16 years 2 days 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...
146
Voted
FSTTCS
2007
Springer
16 years 2 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...