1847 search results - page 58 / 370 » Hybrid Functional Interpretations |
116
click to vote
LICS
2012
IEEE
13 years 14 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
PAMI
2010
14 years 8 months ago
2010
—In this paper, we present novel techniques that improve the computational and memory efficiency of algorithms for solving multi-label energy functions arising from discrete MRF...
100
click to vote
EUROCOLT
1999
Springer
15 years 2 months ago
1999
Springer
We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
JAR
2010
14 years 8 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
109
click to vote
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a new framework that integrates relevance feedback into region-based image retrieval (RBIR) systems based on radial basis function network (RBFN). A modified u...