1667 search results - page 124 / 334 » Extended clause learning |
196
click to vote
LPAR
2012
Springer
14 years 7 days ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
162
click to vote
IJCAI
2007
15 years 6 months ago
2007
A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. It is commonly asserted that in order to ...
153
click to vote
JMLR
2008
15 years 4 months ago
2008
The max-sum classifier predicts n-tuple of labels from n-tuple of observable variables by maximizing a sum of quality functions defined over neighbouring pairs of labels and obser...
161
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Many individual instructors--and, in some cases, entire universities--are gravitating towards the use of comprehensive learning management systems (LMSs), such as Blackboard and M...
177
click to vote
SIAMIS
2010
14 years 11 months ago
2010
This article proposes a new method for image separation into a linear combination of morphological components. Sparsity in fixed dictionaries is used to extract the cartoon and osc...