Sciweavers

41938 search results - page 290 / 8388
» Complex Systems Modeling
Sort
View
KR
2004
Springer
15 years 12 months ago
Inferential Complexity Control for Model-Based Abduction
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
Gregory M. Provan
VMCAI
2004
Springer
15 years 12 months ago
Completeness and Complexity of Bounded Model Checking
Edmund M. Clarke, Daniel Kroening, Joël Ouakn...