250 search results - page 12 / 50 » Reflections on Finite Model Theory |
CADE
2002
Springer
15 years 10 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
76
Voted
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
Two of the major imaging modalities used to detect and monitor breast cancer are (contrast enhanced) magnetic resonance (MR) imaging and mammography. Image fusion, including accura...
TCIAIG
2010
14 years 4 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
CSL
2010
Springer
14 years 9 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
AAAI
2008
14 years 12 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...