10048 search results - page 118 / 2010 » The Structure and Performance of Interpreters |
ECAI
1998
Springer
14 years 1 months ago
1998
Springer
In this paper we describe an approach for integrating abduction and induction in the ILP setting of learning from interpretations with the aim of solving the problem of incomplete...
ENTCS
2007
13 years 9 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
PPOPP
1999
ACM
14 years 1 months ago
1999
ACM
The use of threads is becoming commonplace in both sequential and parallel programs. This paper describes our design and initial experience with non-trace based performance instru...
BMCBI
2010
13 years 9 months ago
2010
Background: Visualization of DNA microarray data in two or three dimensional spaces is an important exploratory analysis step in order to detect quality issues or to generate new ...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
When authors publish their interpretations of the ideas, opinions, claims or rebuttals in the literature, they are drawing on a repertoire of well understood moves, contributing t...