1189 search results - page 36 / 238 » The Quotient of an Abstract Interpretation |
FUIN
2008
13 years 10 months ago
2008
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
SAT
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...
FUIN
2006
13 years 10 months ago
2006
Abstract. We introduce generalized trajectories where the individual symbols are interpreted as operations performed on the operand words. The various previously considered traject...
WEBI
2007
Springer
14 years 4 months ago
2007
Springer
We present a framework for media interpretation that leverages low-level information on to a higher level of abstraction in order to support semantics-based information retrieval ...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper we give a representation-independent topological definition of crossover that links it tightly to the notion of fitness landscape. Building around this defi...