Sciweavers

1420 search results - page 171 / 284
» Multi-point Constructive Search
Sort
View
AGP
2010
IEEE
15 years 11 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 11 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 11 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 11 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 10 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