1422 search results - page 39 / 285 » Complementation in Abstract Interpretation |
145
click to vote
ISVC
2009
Springer
15 years 11 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...
152
click to vote
WISE
2005
Springer
15 years 10 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...
145
click to vote
EUROPAR
1998
Springer
15 years 9 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...
110
click to vote
SAS
1994
Springer
15 years 9 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...
130
Voted
AUSAI
2004
Springer
15 years 10 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 ...