1029 search results - page 21 / 206 » Compact representations of ordered sets |
114
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
128
click to vote
JMIV
2007
15 years 2 months ago
2007
Abstract. This paper discusses the interest of the Tree of Shapes of an image as a region oriented image representation. The Tree of Shapes offers a compact and structured represen...
137
click to vote
EOR
2011
14 years 6 months ago
2011
Combinatorial auctions have been used in procurement markets with economies of scope. Preference elicitation is already a problem in single-unit combinatorial auctions, but it bec...
107
click to vote
ATVA
2010
Springer
15 years 3 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...
107
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Classical work on eliciting and representing preferences over multi-attribute alternatives has attempted to recognize conditions under which value functions take on particularly s...