26 search results - page 2 / 6 » A Three-Valued Interpretation of Negation in Feature Structu... |
88
Voted
ECCV
1990
Springer
16 years 1 months ago
1990
Springer
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
111
Voted
CADE
2007
Springer
15 years 12 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
104
Voted
ECAI
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
118
click to vote
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
We present algorithms for automatic feature selection for unsupervised structure discovery from video sequences. Feature selection in this scenario is hard because of the absence ...
140
Voted
CVPR
2011
IEEE
14 years 3 months ago
2011
IEEE
3D object detection and importance regression/ranking are at the core for semantically interpreting 3D medical images of computer aided diagnosis (CAD). In this paper, we propose ...