3238 search results - page 166 / 648 » On the Computational Interpretation of Negation |
167
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...
162
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
The Earth Mover's distance was first introduced as a purely empirical way to measure texture and color similarities. We show that it has a rigorous probabilistic interpretati...
190
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Traditionally, the Universal Background Model (UBM) is viewed as the background model of the entire acoustic feature space. We propose a novel interpretation of the UBM model, and...
145
click to vote
ACMIDC
2009
15 years 10 months ago
2009
In tangible learning environments the potential to exploit different physical-digital links increases representational power but also broadens the complexity of design. This paper...
134
click to vote
WSCG
2000
15 years 7 months ago
2000
Computer assisted image fusion provides an easy and accurate way to interpret and compare medical image pairs. Subjective expectations of human interpretator become less important...