1667 search results - page 108 / 334 » Extended clause learning |
107
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Emerging mobile technologies hold great promise for educational institutions seeking to extend the learning experience to an increasingly nomadic and timechallenged student commun...
117
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Since Witsenhausen put forward his remarkable counterexample in 1968, there have been many attempts to develop efficient methods for solving this non-convex functional optimiz...
123
Voted
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
Recent developments in philosophy, linguistics, developmental psychology and arti cial intelligence make it possible to envision a developmental path for an arti cial agent, groun...
145
Voted
SAT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
134
click to vote
AAAI
2010
15 years 6 months ago
2010
Methods for discovering causal knowledge from observational data have been a persistent topic of AI research for several decades. Essentially all of this work focuses on knowledge...