Sciweavers

3856 search results - page 201 / 772
» Models for Automated Earthmoving
Sort
View
CSL
2002
Springer
15 years 6 months ago
Lightly supervised and unsupervised acoustic model training
The last decade has witnessed substantial progress in speech recognition technology, with todays state-of-the-art systems being able to transcribe unrestricted broadcast news audi...
Lori Lamel, Jean-Luc Gauvain, Gilles Adda
SAFECOMP
2010
Springer
15 years 5 months ago
Deriving Safety Cases for Hierarchical Structure in Model-Based Development
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
Nurlida Basir, Ewen Denney, Bernd Fischer 0002
JUCS
2010
80views more  JUCS 2010»
15 years 1 months ago
Developing and Analyzing the MP (Materialization Pattern) Model for Math Educational Standards
: Educational standards alignment, which matches similar or equivalent concepts of educational standards, is a necessary task for educational resource retrieval. In order to automa...
Namyoun Choi, Il-Yeol Song, Yuan An
ICLP
2001
Springer
15 years 11 months ago
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smo...
CSL
2007
Springer
15 years 6 months ago
Modeling durations of syllables using neural networks
In this paper, we propose a neural network model for predicting the durations of syllables. A four layer feedforward neural network trained with backpropagation algorithm is used ...
K. Sreenivasa Rao, B. Yegnanarayana