1712 search results - page 138 / 343 » Abstract Constraint Data Types |
139
click to vote
IVA
2005
Springer
15 years 8 months ago
2005
Springer
this is via the ”Motion Abstraction”. This is a single abstraction that represents any type of animation of a character. Different implementations of the ion can provide very ...
128
click to vote
PKDD
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Semi-supervised clustering models, that incorporate user provided constraints to yield meaningful clusters, have recently become a popular area of research. In this paper...
142
click to vote
POPL
2010
ACM
16 years 13 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
125
click to vote
TACS
2001
Springer
15 years 7 months ago
2001
Springer
Parigot suggested symmetric structural reduction rules for ion to µ-abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order ...
111
click to vote
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
Entity search, a significant departure from page-based retrieval, finds data, i.e., entities, embedded in documents directly and holistically across the whole collection. This pap...