1422 search results - page 35 / 285 » Complementation in Abstract Interpretation |
FUIN
2006
15 years 2 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...
103
click to vote
WEBI
2007
Springer
15 years 8 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 ...
110
click to vote
GECCO
2004
Springer
15 years 7 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...
110
click to vote
LREC
2008
15 years 3 months ago
2008
This paper introduces a new architecture that aims at combining molecular biology data with information automatically extracted from scientific literature (using text mining techn...
129
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstractions Aziem Chawdhary1 , Byron Cook2 , Sumit Gulwani2 , Mooly Sagiv3 , and Hongseok Yang1 1 Queen Mary, University of London 2 Microsoft Research 3 Tel Aviv University Abstr...