3281 search results - page 414 / 657 » An Approach to use Executable Models for Testing |
142
click to vote
DIMACS
1996
15 years 6 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
123
Voted
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper investigates syntactic and sub-lexical features in Turkish discriminative language models (DLMs). DLM is a featurebased language modeling approach. It reranks the ASR o...
136
click to vote
CGF
2007
15 years 5 months ago
2007
We present a novel and effective method for modeling a developable surface to simulate paper bending in interactive and animation applications. The method exploits the representat...
137
Voted
JMLR
2010
14 years 11 months ago
2010
Virtually all methods of learning dynamic systems from data start from the same basic assumption: the learning algorithm will be given a sequence of data generated from the dynami...
135
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Conditional Random Fields (CRFs) are often estimated using an entropy based criterion in combination with Generalized Iterative Scaling (GIS). GIS offers, upon others, the immedi...