23036 search results - page 150 / 4608 » Sketching informal presentations |
176
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
182
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
Finding effective interactive deformation techniques for complex geometric objects continues to be a challenging problem in modeling and animation. We present an approach that is ...
159
click to vote
EWCBR
1993
Springer
15 years 10 months ago
1993
Springer
This paper presents a novel approach to determine structural similarity as guidance for adaptation in case-based reasoning (Cbr). We advance structural similarity assessment which ...
199
click to vote
SIGOPSE
1992
ACM
15 years 10 months ago
1992
ACM
Abstract-- This paper describes the design and implementation1 of IRIS: an intentional resource indicator service. IRIS springs from the concept that end-users should not be bogged...
155
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...