7397 search results - page 1234 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
178
click to vote
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
We propose a new probabilistic approach to information retrieval based upon the ideas and methods of statistical machine translation. The central ingredient in this approach is a ...
168
click to vote
PNPM
1987
15 years 10 months ago
1987
We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to...
210
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
198
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper deals with the problem of incorporating natural regularity conditions on the motion in an MAP estimator for structure and motion recovery from uncalibrated image sequen...
160
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
We present AuraMirror, a system that visualizes virtual windows of attention: the commodity of visual attention people exchange during interactions in small groups. AuraMirror act...