Sciweavers

41938 search results - page 290 / 8388
» Complex Systems Modeling
Sort
View
KR
2004
Springer
16 years 16 days 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
16 years 15 days ago
Completeness and Complexity of Bounded Model Checking
Edmund M. Clarke, Daniel Kroening, Joël Ouakn...