Sciweavers

1463 search results - page 118 / 293
» The State of the Art in Language Modeling
Sort
View
FGR
2002
IEEE
171views Biometrics» more  FGR 2002»
15 years 6 months ago
An Approach Based on Phonemes to Large Vocabulary Chinese Sign Language Recognition
Hitherto, the major challenge to sign language recognition is how to develop approaches that scale well with increasing vocabulary size. In this paper we present an approach to la...
Chunli Wang, Shiguang Shan, Wen Gao
IPPS
1997
IEEE
15 years 6 months ago
Semantics and Implementation of a Generalized forall Statement for Parallel Languages
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...
Paul Dechering, Leo C. Breebaart, Frits Kuijlman, ...
TASE
2007
IEEE
15 years 8 months ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
KBSE
2000
IEEE
15 years 6 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
CICLING
2004
Springer
15 years 5 months ago
Extracting Domain Knowledge for Dialogue Model Adaptation
Domain shift is a challenging issue in dialogue management. This paper shows how to extract domain knowledge for dialogue model adaptation. The basic semantic concepts are derived ...
Kuei-Kuang Lin, Hsin-Hsi Chen