Sciweavers

11151 search results - page 114 / 2231
» On the Complexity of Model Expansion
Sort
View
IDEAL
2007
Springer
15 years 10 months ago
Reverse Engineering an Agent-Based Hidden Markov Model for Complex Social Systems
Hung-Ching Chen, Mark K. Goldberg, Malik Magdon-Is...
KR
2004
Springer
15 years 9 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 9 months ago
Completeness and Complexity of Bounded Model Checking
Edmund M. Clarke, Daniel Kroening, Joël Ouakn...