Sciweavers

1969 search results - page 265 / 394
» Incremental Processing and Acceptability
Sort
View
PDIS
1996
IEEE
15 years 9 months ago
The Strobe Algorithms for Multi-Source Warehouse Consistency
A warehouse is a data repository containing integrated information for e cient querying and analysis. Maintaining the consistency of warehouse data is challenging, especially if t...
Yue Zhuge, Hector Garcia-Molina, Janet L. Wiener
134
Voted
DAC
2010
ACM
15 years 9 months ago
An AIG-Based QBF-solver using SAT for preprocessing
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
Florian Pigorsch, Christoph Scholl
3DPVT
2006
IEEE
188views Visualization» more  3DPVT 2006»
15 years 9 months ago
Statistical Inference of Biological Structure and Point Spread Functions in 3D Microscopy
We present a novel method for detecting and quantifying 3D structure in stacks of microscopic images captured at incremental focal lengths. We express the image data as stochastic...
Joseph Schlecht, Kobus Barnard, Barry Pryor
ADS
2004
Springer
15 years 9 months ago
Neural Architecture for Temporal Emotion Classification
Abstract. In this pilot study, a neural architecture for temporal emotion recognition from image sequences is proposed. The investigation aims at the development of key principles ...
Roland Schweiger, Pierre Bayerl, Heiko Neumann
149
Voted
CLEF
2006
Springer
15 years 9 months ago
Cross-Lingual Romanian to English Question Answering at CLEF 2006
This paper describes the development of a Question Answering (QA) system and its evaluation results in the Romanian-English cross-lingual track organized as part of the CLEF1 2006 ...
Georgiana Puscasu, Adrian Iftene, Ionut Pistol, Di...