11484 search results - page 440 / 2297 » Modeling in the Large and Modeling in the Small |
173
click to vote
TASLP
2008
15 years 6 months ago
2008
HMM-based models are developed for the alignment of words and phrases in bitext. The models are formulated so that alignment and parameter estimation can be performed efficiently....
174
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
154
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...
166
click to vote
ICTAI
2005
IEEE
16 years 17 days ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
189
click to vote
ISMS
2004
Springer
16 years 10 days ago
2004
Springer
A 3D biomechanical model of the tongue is presented here. Its goal is to evaluate the speech control model. This model was designed considering three constraints: speech movement s...