2357 search results - page 322 / 472 » Computing Refactorings of Behavior Models |
131
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...
132
click to vote
EDUTAINMENT
2006
Springer
15 years 7 months ago
2006
Springer
In interactive computer games and computer animation, intuitively controlling the motion of an articulated character is considered as a difficult task. One of the reasons is that, ...
122
Voted
NAACL
2010
15 years 1 months ago
2010
In a Wizard-of-Oz experiment with multiple wizard subjects, each wizard viewed automated speech recognition (ASR) results for utterances whose interpretation is critical to task s...
156
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
126
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We have studied two efficient sampling methods, Langevin and Hessian adapted Metropolis Hastings (MH), applied to a parameter estimation problem of the mathematical model (Lorent...