10568 search results - page 1736 / 2114 » Computer Intelligence and Formalization |
138
click to vote
MP
2011
14 years 7 months ago
2011
Abstract. Using the least element solution of the P0 and Z matrix linear complementarity problem (LCP), we define an implicit solution function for linear complementarity constrai...
134
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
We investigate the prevalence and learning impact of different types of off-task behavior in classrooms where students are using intelligent tutoring software. We find that within...
220
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
We introduce scalability for computer games as the next frontier for techniques from data management. A very important aspect of computer games is the artificial intelligence (AI)...
172
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
We revisit the roots of Genetic Programming (i.e. Natural Evolution), and conclude that the mechanisms of the process of evolution (i.e. selection, inheritance and variation) are ...
131
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces a new component based model that makes it relatively simple to prove that certain types of landscapes are elementary. We use the model to reconstruct proofs ...