1888 search results - page 121 / 378 » The Learning Power of Evolution |
140
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
125
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our o...
130
Voted
IVA
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Interactive virtual worlds provide a powerful medium for experiential learning. Intelligent virtual agents can cohabit virtual worlds with people and facilitate such lear...
129
click to vote
ACE
2004
15 years 5 months ago
2004
This paper discusses our rationale for teaching the fundamentals of computer architecture early in the computer science (CS) degree program. We also describe an active learning te...
105
click to vote
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
We derive a generalization bound for multiclassification schemes based on grid clustering in categorical parameter product spaces. Grid clustering partitions the parameter space i...