Sciweavers

6047 search results - page 132 / 1210
» Modeling with Extend
Sort
View
ICASSP
2010
IEEE
15 years 2 months ago
Acoustic model adaptation via Linear Spline Interpolation for robust speech recognition
We recently proposed a new algorithm to perform acoustic model adaptation to noisy environments called Linear Spline Interpolation (LSI). In this method, the nonlinear relationshi...
Michael L. Seltzer, Alex Acero, Kaustubh Kalgaonka...
OTM
2005
Springer
15 years 7 months ago
A Model of Pervasive Services for Service Composition
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
Caroline Funk, Christoph Kuhmünch, Christoph ...
NIPS
2004
15 years 3 months ago
Schema Learning: Experience-Based Construction of Predictive Action Models
Schema learning is a way to discover probabilistic, constructivist, predictive action models (schemas) from experience. It includes methods for finding and using hidden state to m...
Michael P. Holmes, Charles Lee Isbell Jr.
108
Voted
EVOW
2008
Springer
15 years 3 months ago
Option Model Calibration Using a Bacterial Foraging Optimization Algorithm
The Bacterial Foraging Optimization (BFO) algorithm is a biologically inspired computation technique which is based on mimicking the foraging behavior of E.coli bacteria. This pape...
Jing Dang, Anthony Brabazon, Michael O'Neill, Davi...
SAT
2004
Springer
88views Hardware» more  SAT 2004»
15 years 7 months ago
Improving First-order Model Searching by Propositional Reasoning and Lemma Learning
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
Zhuo Huang, Hantao Zhang, Jian Zhang