962 search results - page 47 / 193 » Optimal Testing of Structured Knowledge |
122
click to vote
MTV
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
118
click to vote
LION
2009
Springer
15 years 8 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
135
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
Learning to rank from relevance judgment is an active research area. Itemwise score regression, pairwise preference satisfaction, and listwise structured learning are the major te...
124
click to vote
EUROGP
2003
Springer
15 years 7 months ago
2003
Springer
Teleo-reactive programs and the triple tower architecture have been proposed as a framework for linking perception and action in agents. The triple tower architecture continually u...
156
click to vote
IJCNN
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— The optimal model parameters of a kernel machine are typically given by the solution of a convex optimisation problem with a single global optimum. Obtaining the best p...