892 search results - page 64 / 179 » Strategies in sentential reasoning |
125
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
One of the differences among the various approaches to suspension-based tabled evaluation is the scheduling strategy. The two most popular strategies are local and batched evaluat...
138
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Formal classification of a large collection of protein structures aids the understanding of evolutionary relationships among them. Classifications involving manual ste...
120
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
113
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper is an attempt to answer the following question: how much improvement can be obtained in logic decomposition by using Boolean divisors? Traditionally, the existence of t...
108
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...