Sciweavers

1420 search results - page 171 / 284
» Multi-point Constructive Search
Sort
View
172
Voted
AGP
2010
IEEE
15 years 9 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Alberto Momigliano, Mario Ornaghi
PODS
2010
ACM
250views Database» more  PODS 2010»
15 years 9 months ago
From information to knowledge: harvesting entities and relationships from web sources
There are major trends to advance the functionality of search engines to a more expressive semantic level. This is enabled by the advent of knowledge-sharing communities such as W...
Gerhard Weikum, Martin Theobald
ICPR
2002
IEEE
15 years 9 months ago
Robust Frontal Face Detection in Complex Environment
We have constructed a simple and fast system to detect frontal human faces in complex environment. There are two main contributions of our work: 1) We use a fast image segmentatio...
Quan Yuan, Wen Gao, Hongxun Yao
IEEEMSP
2002
IEEE
181views Multimedia» more  IEEEMSP 2002»
15 years 9 months ago
Combining stereo and visual hull information for on-line reconstruction and rendering of dynamic scenes
—In this paper, we present a novel system which combines depth-from-stereo and visual hull reconstruction for acquiring dynamic real-world scenes at interactive rates. First, we ...
Hartmut Schirmacher, Ming Li, Marcus A. Magnor, Ha...
DAWAK
2000
Springer
15 years 9 months ago
Mining Frequent Binary Expressions
In data mining, searching for frequent patterns is a common basic operation. It forms the basis of many interesting decision support processes. In this paper we present a new type ...
Toon Calders, Jan Paredaens