125 search results - page 13 / 25 » Model Theory Makes Formulas Large |
104
click to vote
BIOSYSTEMS
2008
14 years 12 months ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
100
click to vote
DSMML
2004
Springer
15 years 5 months 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...
106
click to vote
FSTTCS
2008
Springer
15 years 25 days ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
121
click to vote
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...