Sciweavers

12487 search results - page 51 / 2498
» Graspable Work Modeling
Sort
View
ICASSP
2011
IEEE
14 years 4 months ago
Lexical access experiments with context-dependent articulatory feature-based models
We address the problem of pronunciation variation in conversational speech with a context-dependent articulatory featurebased model. The model is an extension of previous work usi...
Preethi Jyothi, Karen Livescu, Eric Fosler-Lussier
92
Voted
CISS
2010
IEEE
14 years 4 months ago
Using laser scanners for modeling and analysis in architecture, engineering, and construction
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
Daniel Huber, Burcu Akinci, Pingbo Tang, Antonio A...
121
Voted
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 3 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
EMNLP
2009
14 years 10 months ago
A Syntactified Direct Translation Model with Linear-time Decoding
Recent syntactic extensions of statistical translation models work with a synchronous context-free or tree-substitution grammar extracted from an automatically parsed parallel cor...
Hany Hassan, Khalil Sima'an, Andy Way
GI
2009
Springer
14 years 10 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann