1422 search results - page 101 / 285 » Complementation in Abstract Interpretation |
146
click to vote
IEAAIE
2005
Springer
15 years 10 months ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
135
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...
105
click to vote
CD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
105
click to vote
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
122
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Fundamental performance limitations on congestion control is discussed in relation to the information that is available in the controller. Three control architectures t...