6020 search results - page 30 / 1204 » A New Approach to Model Counting |
106
click to vote
ACL
2003
15 years 3 months ago
2003
Traditional vector-based models use word co-occurrence counts from large corpora to represent lexical meaning. In this paper we present a novel approach for constructing semantic ...
STOC
2009
ACM
16 years 2 months ago
2009
ACM
We put forward a new approach to mechanism design, and exemplify it via a new mechanism guaranteeing significant revenue in unrestricted combinatorial auctions. Our mechanism ? su...
EPIA
1999
Springer
15 years 6 months ago
1999
Springer
We present three approaches to revision of belief bases, which are also examined in the case in which the sentences in the base are partitioned between those which can and those wh...
131
click to vote
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Application specific systems have potential for customization of design with a view to achieve a better costperformance-power trade-off. Such customization requires extensive de...
118
click to vote
COR
2008
15 years 1 months ago
2008
The two-dimensional orthogonal packing problem (2OPP) consists in determining if a set of rectangles can be packed in a larger rectangle of fixed size. We propose an exact method ...