1189 search results - page 40 / 238 » The Quotient of an Abstract Interpretation |
JELIA
1990
Springer
14 years 1 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
ISVC
2009
Springer
14 years 4 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...
WISE
2005
Springer
14 years 3 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...
EUROPAR
1998
Springer
14 years 2 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
14 years 2 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...