Sciweavers

770 search results - page 59 / 154
» Subsequence similarity language models
Sort
View
ICSE
2004
IEEE-ACM
15 years 12 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
GW
1999
Springer
134views Biometrics» more  GW 1999»
15 years 4 months ago
Toward Scalability in ASL Recognition: Breaking Down Signs into Phonemes
In this paper we present a novel approach to continuous, whole-sentence ASL recognition that uses phonemes instead of whole signs as the basic units. Our approach is based on a se...
Christian Vogler, Dimitris N. Metaxas
NIPS
2008
15 years 1 months ago
Unifying the Sensory and Motor Components of Sensorimotor Adaptation
Adaptation of visually guided reaching movements in novel visuomotor environments (e.g. wearing prism goggles) comprises not only motor adaptation but also substantial sensory ada...
Adrian Haith, Carl P. T. Jackson, R. Chris Miall, ...
ACL
1997
15 years 1 months ago
Approximating Context-Free Grammars with a Finite-State Calculus
Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...
Edmund Grimley-Evans
ICML
2009
IEEE
16 years 21 days ago
A stochastic memoizer for sequence data
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...
Frank Wood, Cédric Archambeau, Jan Gasthaus...