3758 search results - page 379 / 752 » A Complete Subsumption Algorithm |
199
click to vote
LPAR
2004
Springer
16 years 2 days ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
179
click to vote
MEMBRANE
2004
Springer
16 years 2 days ago
2004
Springer
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
182
click to vote
PRICAI
2004
Springer
16 years 2 days ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
185
Voted
WAOA
2004
Springer
16 years 2 days ago
2004
Springer
We consider a non-preemptive, stochastic parallel machine scheduling model with the goal to minimize the weighted completion times of jobs. In contrast to the classical stochastic ...
168
click to vote
CISIS
2010
IEEE
16 years 1 days ago
2010
IEEE
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...