7961 search results - page 51 / 1593 » Input-Output Model Programs |
69
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
98
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
111
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
126
Voted
GI
2009
Springer
15 years 7 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
110
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We discuss the problem of model selection in Genetic Programming using the framework provided by Statistical Learning Theory, i.e. Vapnik-Chervonenkis theory (VC). We pre...