2440 search results - page 415 / 488 » Explanation-Based Feature Construction |
142
click to vote
TPHOL
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
124
click to vote
SIGGRAPH
1998
ACM
15 years 5 months ago
1998
ACM
The creation of believable and endearing characters in computer graphics presents a number of technical challenges, including the modeling, animation and rendering of complex shap...
100
click to vote
HICSS
1997
IEEE
15 years 5 months ago
1997
IEEE
The discipline of narratology has long recognized the need to classify documents as instances of different text types. We have discovered that classification is as applicable to h...
126
click to vote
FOCS
1994
IEEE
15 years 5 months ago
1994
IEEE
A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mu...
119
click to vote
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut l...