2774 search results - page 184 / 555 » Exploiting Deep Structure |
185
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
175
click to vote
FLAIRS
2007
15 years 8 months ago
2007
The exploitation of the discourse structure of a text and the identification of the discourse categories are essential elements for the automatic summarization, as well as for the...
144
click to vote
UAI
2000
15 years 7 months ago
2000
We introduce Game networks (G nets), a novel representation for multi-agent decision problems. Compared to other game-theoretic representations, such as strategic or extensive for...
146
click to vote
LFP
1994
15 years 7 months ago
1994
We present a method, adapted to polymorphically typed functional languages, to detect and collect more garbage than existing GCs. It can be applied to strict or lazy higher order ...
154
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...