1422 search results - page 39 / 285 » Complementation in Abstract Interpretation |
120
Voted
ISVC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This article describes a novel junction descriptor that encodes junctions’ semantic information in terms incoming lines’ orientations, both in 2D and 3D. A Kalman fi...
125
click to vote
WISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...
121
Voted
EUROPAR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
109
click to vote
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The interpretation of complex discourse, such as arguments, is a difficult task that often requires validation, i.e., a system may need to present its interpretation of ...