Sciweavers

722 search results - page 68 / 145
» Improving Cause Detection Systems with Active Learning
Sort
View
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 1 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
DEBS
2010
ACM
15 years 1 months ago
Reliable complex event detection for pervasive computing
Complex event processing for pervasive computing must deal with various sources of error. In this paper, we focus on improving complex event detector handling of several types of ...
Dan O'Keeffe, Jean Bacon
CVPR
2006
IEEE
15 years 3 months ago
Towards Multi-View Object Class Detection
We present a novel system for generic object class detection. In contrast to most existing systems which focus on a single viewpoint or aspect, our approach can detect object inst...
Alexander Thomas, Vittorio Ferrari, Bastian Leibe,...
ICDE
2007
IEEE
198views Database» more  ICDE 2007»
15 years 4 months ago
A Novel Visual Feature Extraction and Its Application in Vowel Recognition
Speech recognition techniques have been developed dramatically in recent years. Nevertheless, errors caused by environmental noise are still a serious problem in recognition. Empl...
Vahideh Sadat Sadeghi, Khashayar Yaghmaie
NAACL
2004
14 years 11 months ago
Multiple Similarity Measures and Source-Pair Information in Story Link Detection
State-of-the-art story link detection systems, that is, systems that determine whether two stories are about the same event or linked, are usually based on the cosine-similarity m...
Francine Chen, Ayman Farahat, Thorsten Brants