7991 search results - page 15 / 1599 » Using More Reasoning to Improve |
ICML
2007
IEEE
16 years 18 days ago
2007
IEEE
An efficient and general multiple kernel learning (MKL) algorithm has been recently proposed by Sonnenburg et al. (2006). This approach has opened new perspectives since it makes ...
109
click to vote
EXPERT
2002
14 years 11 months ago
2002
Spatial reasoning is a major source of difficulties for strategy game AIs. We conjecture that qualitative spatial reasoning techniques can help overcome these difficulties. We bri...
SAT
2004
Springer
15 years 5 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
102
click to vote
CSL
2008
Springer
14 years 12 months ago
2008
Springer
: All speech produced by humans includes information about the speaker, including conveying the emotional state of the speaker. It is thus desirable to include vocal affect in any ...
112
click to vote
DLOG
2010
14 years 9 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...