485 search results - page 64 / 97 » Easy Keys for OWL |
ATS
1998
IEEE
14 years 1 months ago
1998
IEEE
We propose a new static test set compaction method based on a careful examination of attributes of fault coverage curves. Our method is based on two key ideas: 1 fault-list and te...
ICLP
1999
Springer
14 years 1 months ago
1999
Springer
Delaying-based tabling mechanisms, such as the one adopted in XSB, are nonlinear in the sense that the computation state of delayed calls has to be preserved. In this paper, we pr...
DEXAW
1997
IEEE
14 years 1 months ago
1997
IEEE
In order to solve the wear problem in terms of quality there is need for a experienced expert with a lengthy practice. Such valuable persons in practice are regularly missing and ...
SIGGRAPH
1994
ACM
14 years 1 months ago
1994
ACM
We describe a representation for multiresolution images--images that have different resolutions in different places--and methods for creating such images using painting and compos...
GPC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...