7988 search results - page 1234 / 1598 » A Useful Undecidable Theory |
156
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
188
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
163
click to vote
CP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
187
click to vote
CPM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Phylogenetics is a science of determining connections between groups of organisms in terms of ancestor/descendent relationships, usually expressed by phylogenetic trees, ...
191
click to vote
DSMML
2004
Springer
16 years 7 days ago
2004
Springer
Learning curves for Gaussian process (GP) regression can be strongly affected by a mismatch between the ‘student’ model and the ‘teacher’ (true data generation process), e...