Sciweavers

10891 search results - page 354 / 2179
» Combining Model Reductions
Sort
View
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 6 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
NAACL
1994
15 years 6 months ago
High-Accuracy Large-Vocabulary Speech Recognition Using Mixture Tying and Consistency Modeling
Improved acoustic modeling can significantly decrease the error rate in large-vocabulary speech recognition. Our approach to the problem is twofold. We first propose a scheme that...
Vassilios Digalakis, Hy Murveit
CSL
2007
Springer
15 years 4 months ago
Discriminative n-gram language modeling
This paper describes discriminative language modeling for a large vocabulary speech recognition task. We contrast two parameter estimation methods: the perceptron algorithm, and a...
Brian Roark, Murat Saraclar, Michael Collins
SIAMAM
2008
93views more  SIAMAM 2008»
15 years 4 months ago
Mutually Exclusive Spiky Pattern and Segmentation Modeled by the Five-Component Meinhardt--Gierer System
We consider the five-component Meinhardt-Gierer model for mutually exclusive patterns and segmentation which was proposed in [11]. We prove rigorous results on the existence and st...
Juncheng Wei, Matthias Winter
IJON
2002
78views more  IJON 2002»
15 years 4 months ago
External termination of recurrent bursting in a model of connected local neural sub-networks
Epileptic seizures are characterized by repetitive synchronous neuronal bursting activity. To study external influences on this activity, a simple model of a chain loop of neurona...
Pawel Kudela, Piotr J. Franaszczuk, Gregory K. Ber...