9405 search results - page 4 / 1881 » Computing a Model of Set Theory |
ECAI
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
CIE
2007
Springer
14 years 1 months ago
2007
Springer
EC
1998
13 years 6 months ago
1998
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...
ICTAC
2004
Springer
14 years 11 days ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
RSKT
2010
Springer
13 years 5 months ago
2010
Springer
A naive Bayesian classifier is a probabilistic classifier based on Bayesian decision theory with naive independence assumptions, which is often used for ranking or constructing a...