14518 search results - page 371 / 2904 » Two Problems for Sophistication |
210
click to vote
PVM
2005
Springer
16 years 8 days ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
170
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...
163
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Adaptive consistency is a solving algorithm for constraint networks. Its basic step is variable elimination: it takes a network as input, and producesan equivalent networ...
176
click to vote
KI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
172
click to vote
SEMWEB
2004
Springer
16 years 3 days ago
2004
Springer
We argue that in a distributed context, such as the Semantic Web, ontology engineers and data creators often cannot control (or even imagine) the possible uses their data or ontolo...