1508 search results - page 132 / 302 » A Combination Method for Generating Interpolants |
164
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
154
click to vote
CA
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper an operational model for the automatic generation of lifelike gestures of an anthropomorphic virtual agent is described. The biologically motivated approach to contr...
145
click to vote
ACL
2007
15 years 7 months ago
2007
Inspired by previous preprocessing approaches to SMT, this paper proposes a novel, probabilistic approach to reordering which combines the merits of syntax and phrase-based SMT. G...
172
click to vote
TREC
2008
15 years 7 months ago
2008
This is the second time we participate in TREC Blog Track. There are three main tasks in the track, relevant finding task, opinion finding task and polarity task. In this year, we ...
190
click to vote
WM
2003
15 years 7 months ago
2003
: Case-based diagnosis handling multiple faults is still a challenging task. In this paper we present methods for handling multiple faults, embedded in the standard CBR cycle. The ...