1343 search results - page 81 / 269 » Learning to Complete Sentences |
117
click to vote
AAAI
2008
15 years 3 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
96
Voted
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Learning the knowledge of scene structure and tracking a large number of targets are both active topics of computer vision in recent years, which plays a crucial role in surveilla...
100
Voted
ICCV
2003
IEEE
16 years 2 months ago
2003
IEEE
Inpainting is the problem of filling-in holes in images. Considerable progress has been made by techniques that use the immediate boundary of the hole and some prior information o...
94
Voted
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
This current study explored the impact of individual differences in personality factors on interface interaction and learning performance in both an interactive visualization and ...
97
Voted
KR
1998
Springer
15 years 5 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...