3446 search results - page 11 / 690 » A Reasoning Algorithm for pD* |
101
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
ICCS
2009
Springer
15 years 7 months ago
2009
Springer
Recent years have seen growth in the number of algorithms designed to solve challenging simulation-based nonlinear optimization problems. One such algorithm is the Trust-Region Par...
112
click to vote
RECOMB
2010
Springer
14 years 11 months ago
2010
Springer
Chaining fragments is a crucial step in genome alignment. Existing chaining algorithms compute a maximum weighted chain with no overlaps allowed between adjacent fragments. In prac...
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
CADE
2004
Springer
16 years 1 months ago
2004
Springer