1914 search results - page 250 / 383 » Verification by Abstract Interpretation |
156
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we propose a general model of schema matching based on the following ideas: on the one hand, a schema is viewed as a context (namely as a partial and appro...
173
click to vote
DALT
2007
Springer
15 years 11 months 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...
147
Voted
ECAL
2007
Springer
15 years 11 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...
138
click to vote
ESOP
2007
Springer
15 years 11 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 ...
158
click to vote
EVOW
2007
Springer
15 years 11 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...