4686 search results - page 791 / 938 » Time-lagged Directed Information |
193
click to vote
FMCAD
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
179
Voted
IWMM
2004
Springer
16 years 10 days ago
2004
Springer
Many state-of-the-art garbage collectors are generational, collecting the young nursery objects more frequently than old objects. These collectors perform well because young objec...
210
Voted
PCM
2004
Springer
16 years 10 days ago
2004
Springer
Query by video clip (QVC) has attracted wide research interests in multimedia information retrieval. In general, QVC may include feature extraction, similaritymeasure,databaseorgan...
200
Voted
SPW
2004
Springer
16 years 10 days ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
171
click to vote
VLDB
2004
ACM
16 years 9 days ago
2004
ACM
Today’s world of increasingly dynamic computing environments naturally results in more and more data being available as fast streams. Applications such as stock market analysis,...