3446 search results - page 303 / 690 » A Reasoning Algorithm for pD* |
276
click to vote
PPSWR
2005
Springer
16 years 2 days ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
184
click to vote
SAT
2005
Springer
16 years 2 days ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
156
click to vote
SPIN
2005
Springer
16 years 2 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
223
click to vote
AMTA
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
202
click to vote
AUSAI
2004
Springer
16 years 4 hour ago
2004
Springer
The quality of the fingerprint images greatly affects the performance of the minutiae extraction. In order to improve the performance of the system, many researchers have been made...