Sciweavers

7886 search results - page 336 / 1578
» An evaluation of bipartitioning techniques
Sort
View
ADMA
2005
Springer
117views Data Mining» more  ADMA 2005»
15 years 9 months ago
Context-Sensitive Regression Analysis for Distributed Data
A precondition of existing ensemble-based distributed data mining techniques is the assumption that contributing data are identically and independently distributed. However, this a...
Yan Xing, Michael G. Madden, Jim Duggan, Gerard Ly...
ACL
2004
15 years 9 months ago
Attention Shifting for Parsing Speech
We present a technique that improves the efficiency of word-lattice parsing as used in speech recognition language modeling. Our technique applies a probabilistic parser iterative...
Keith B. Hall, Mark Johnson
FORTE
1990
15 years 8 months ago
Step-wise Refinement Design Example Using LOTOS
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
Luís Ferreira Pires, Wanderley Lopes de Sou...
ENTCS
2010
139views more  ENTCS 2010»
15 years 7 months ago
Spartacus: A Tableau Prover for Hybrid Logic
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
Daniel Götzmann, Mark Kaminski, Gert Smolka
INTERSPEECH
2010
15 years 2 months ago
Verifying pronunciation dictionaries using conflict analysis
We describe a new language-independent technique for automatically identifying errors in an electronic pronunciation dictionary by analyzing the source of conflicting patterns dir...
Marelie H. Davel, Febe de Wet