Sciweavers

4488 search results - page 325 / 898
» Focusing Search by Using Problem Solving Experience
Sort
View
CADE
2007
Springer
16 years 5 months ago
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
Samuli Heilala, Brigitte Pientka
127
Voted
WAPCV
2004
Springer
15 years 10 months ago
Distributed Control of Attention
Detection of objects is in general a computationally demanding task. To simplify the problem it is of interest to focus the attention to a set of regions of interest. Indoor enviro...
Ola Ramström, Henrik I. Christensen
CVPR
2008
IEEE
16 years 6 months ago
Histogram-based search: A comparative study
Histograms represent a popular means for feature representation. This paper is concerned with the problem of exhaustive histogram-based image search. Several standard histogram co...
Mikhail Sizintsev, Konstantinos G. Derpanis, Andre...
EDBT
2004
ACM
172views Database» more  EDBT 2004»
16 years 5 months ago
Efficient Similarity Search for Hierarchical Data in Large Databases
Structured and semi-structured object representations are getting more and more important for modern database applications. Examples for such data are hierarchical structures inclu...
Karin Kailing, Hans-Peter Kriegel, Stefan Schö...
WISE
2002
Springer
15 years 9 months ago
Log Mining to Improve the Performance of Site Search
Despite of the popularity of global search engines, people still suffer from low accuracy of site search. The primary reason lies in the difference of link structures and data sca...
Gui-Rong Xue, Hua-Jun Zeng, Zheng Chen, Wei-Ying M...