1930 search results - page 172 / 386 » Learning to Solve QBF |
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
IV
2005
IEEE
14 years 3 months ago
2005
IEEE
The field of information visualization offers little methodological guidance to practitioners who seek to design novel systems. Though many sources describe the foundations of the...
MM
2005
ACM
14 years 3 months ago
2005
ACM
We propose a multi-sensor affect recognition system and evaluate it on the challenging task of classifying interest (or disinterest) in children trying to solve an educational pu...
LSO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Developing and maintaining software systems is a knowledge intensive task. One needs knowledge of the application domain of the software, the problem the system solves, t...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...