Sciweavers

908 search results - page 103 / 182
» Generating maximal models using the stable model semantics
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 12 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
ICCV
2009
IEEE
16 years 9 months ago
Detecting Interpretable and Accurate Scale-Invariant keypoints
This paper presents a novel method for detecting scale invariant keypoints. It fills a gap in the set of available methods, as it proposes a scale-selection mechanism for juncti...
Wolfgang F¨orstner, Timo Dickscheid, Falko Schind...
COOPIS
2004
IEEE
15 years 8 months ago
Learning Classifiers from Semantically Heterogeneous Data
Semantically heterogeneous and distributed data sources are quite common in several application domains such as bioinformatics and security informatics. In such a setting, each dat...
Doina Caragea, Jyotishman Pathak, Vasant Honavar
KDD
2004
ACM
136views Data Mining» more  KDD 2004»
16 years 4 months ago
A cross-collection mixture model for comparative text mining
In this paper, we define and study a novel text mining problem, which we refer to as Comparative Text Mining (CTM). Given a set of comparable text collections, the task of compara...
ChengXiang Zhai, Atulya Velivelli, Bei Yu
154
Voted
MM
2004
ACM
170views Multimedia» more  MM 2004»
15 years 10 months ago
Effective automatic image annotation via a coherent language model and active learning
Image annotations allow users to access a large image database with textual queries. There have been several studies on automatic image annotation utilizing machine learning techn...
Rong Jin, Joyce Y. Chai, Luo Si