9067 search results - page 710 / 1814 » Adaptive Model Checking |
211
click to vote
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper applies two dynamic Bayes networks that include theoretical and measured kinematic features of the vocal tract, respectively, to the task of labeling phoneme sequences ...
263
click to vote
SIGIR
2012
ACM
13 years 10 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
180
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...
119
Voted
DAC
2004
ACM
16 years 8 months ago
2004
ACM
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
176
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents a chip-level charged device model (CDM) electrostatic discharge (ESD) simulation method. The chip-level simulation is formulated as a DC analysis problem. A ne...