17770 search results - page 3466 / 3554 » A Generalization of Forward-Backward Algorithm |
143
Voted
HT
2010
ACM
15 years 4 months ago
2010
ACM
We investigate the use of autonomically created small-world graphs as a framework for the long term storage of digital objects on the Web in a potentially hostile environment. We ...
151
click to vote
AUTONOMICS
2008
ACM
15 years 4 months ago
2008
ACM
In this paper, we present a real application system based on wireless sensor network (WSN) for fence surveillance which is implemented on our development platform for WSN, called ...
128
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
161
click to vote
CC
2008
Springer
15 years 4 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
151
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...