6020 search results - page 534 / 1204 » A New Approach to Model Counting |
214
click to vote
ECAI
1990
Springer
15 years 11 months ago
1990
Springer
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...
192
click to vote
MABS
2004
Springer
16 years 13 days ago
2004
Springer
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
198
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Process Mining is a technique for extracting process models from execution logs. This is particularly useful in situations where people have an idealized view of reality....
176
click to vote
DKE
2008
15 years 7 months ago
2008
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
214
click to vote
ECCV
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...