Sciweavers

3113 search results - page 256 / 623
» Efficiently Generating Efficient Generating Extensions in Pr...
Sort
View
KDD
2005
ACM
122views Data Mining» more  KDD 2005»
16 years 5 months ago
Pattern lattice traversal by selective jumps
Regardless of the frequent patterns to discover, either the full frequent patterns or the condensed ones, either closed or maximal, the strategy always includes the traversal of t...
Osmar R. Zaïane, Mohammad El-Hajj
VLDB
2006
ACM
162views Database» more  VLDB 2006»
16 years 5 months ago
Dependency trees in sub-linear time and bounded memory
We focus on the problem of efficient learning of dependency trees. Once grown, they can be used as a special case of a Bayesian network, for PDF approximation, and for many other u...
Dan Pelleg, Andrew W. Moore
ICSE
2007
IEEE-ACM
16 years 5 months ago
Suade: Topology-Based Searches for Software Investigation
The investigation of a software system prior to a modification task often constitutes an important fraction of the overall effort associated with the task. We present Suade, an Ec...
Frédéric Weigand Warr, Martin P. Rob...
ICSE
2008
IEEE-ACM
16 years 5 months ago
MontiCore: a framework for the development of textual domain specific languages
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
Bernhard Rumpe, Hans Grönniger, Holger Krahn,...
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
16 years 1 months ago
Accurate Diagnosis of Multiple Faults
In this paper, we propose a diagnostic test generation method in conjunction with an efficient sequential SAT-based diagnosis procedure to precisely identify multiple defective si...
Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng