Sciweavers

1389 search results - page 103 / 278
» Model Combination for Machine Translation
Sort
View
QEST
2009
IEEE
15 years 10 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—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...
Alastair F. Donaldson, Alice Miller, David Parker
ICCV
2009
IEEE
16 years 8 months ago
Heterogeneous Feature Machines for Visual Recognition
With the recent efforts made by computer vision researchers, more and more types of features have been designed to describe various aspects of visual characteristics. Modeling s...
Liangliang Cao, Jiebo Luo, Feng Liang, Thomas S. H...
118
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Dynamics of tongue gestures extracted automatically from ultrasound
We describe a system for automatically extracting dynamics of tongue gestures from ultrasound images of the tongue using translational deep belief networks (tDBNs). In tDBNs, a jo...
Jeff Berry, Ian Fasel
TAICPART
2006
IEEE
134views Education» more  TAICPART 2006»
15 years 9 months ago
Integration Testing of Components Guided by Incremental State Machine Learning
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
Keqin Li 0002, Roland Groz, Muzammil Shahbaz
168
Voted
ACSD
1998
IEEE
125views Hardware» more  ACSD 1998»
15 years 7 months ago
Hierarchical Concurrent Finite State Machines in Ptolemy
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
Bilung Lee, Edward A. Lee