6939 search results - page 1252 / 1388 » Algorithm Engineering for Parallel Computation |
145
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
158
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
We describe an algorithm for similar-image search which
is designed to be efficient for extremely large collections of
images. For each query, a small response set is selected by...
133
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...
127
click to vote
MOBISYS
2007
ACM
16 years 2 months ago
2007
ACM
During mass casualty incidents, an enormous amount of data, including the vital signs of the patients, the location of the patients, and the location of the first responders must ...
150
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...