Sciweavers

2297 search results - page 263 / 460
» An Algorithm for Computing the Integral Closure
Sort
View
ICCAD
1994
IEEE
127views Hardware» more  ICCAD 1994»
15 years 8 months ago
Synthesis of concurrent system interface modules with automatic protocol conversion generation
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
Bill Lin, Steven Vercauteren
FGR
2004
IEEE
185views Biometrics» more  FGR 2004»
15 years 8 months ago
Real Time Hand Tracking by Combining Particle Filtering and Mean Shift
Particle filter and mean shift are two successful approaches taken in the pursuit of robust tracking. Both of them have their respective strengths and weaknesses. In this paper, w...
Caifeng Shan, Yucheng Wei, Tieniu Tan, Fréd...
DEXAW
2006
IEEE
139views Database» more  DEXAW 2006»
15 years 6 months ago
Consistent Query Answering By Minimal-Size Repairs
A database D may be inconsistent wrt a given set IC of integrity constraints. Consistent Query Answering is the problem of computing from D the answers to a query that are consist...
Andrei Lopatenko, Leopoldo E. Bertossi
COLING
2008
15 years 6 months ago
Pedagogically Useful Extractive Summaries for Science Education
This paper describes the design and evaluation of an extractive summarizer for educational science content called COGENT. COGENT extends MEAD based on strategies elicited from an ...
Sebastian de la Chica, Faisal Ahmad, James H. Mart...
EMNLP
2008
15 years 6 months ago
Learning with Probabilistic Features for Improved Pipeline Models
We present a novel learning framework for pipeline models aimed at improving the communication between consecutive stages in a pipeline. Our method exploits the confidence scores ...
Razvan C. Bunescu