1583 search results - page 259 / 317 » Continuous Optimization |
ASAP
2006
IEEE
15 years 3 months ago
2006
IEEE
A popular approach to guarantee fault tolerance in safety-critical applications is to run the application on two processors. A checkpoint is inserted at the completion of the prim...
101
click to vote
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
106
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
DASFAA
2010
IEEE
15 years 3 months ago
2010
IEEE
We address the problem of skyline query processing for a count-based window of continuous streaming data that involves both totally- and partially-ordered attribute domains. In thi...
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
We present an unsupervised speaker identification system for personal annotations of conversations and meetings. The system dynamically learns new speakers and recognizes already k...