9997 search results - page 371 / 2000 » The case for crowd computing |
190
Voted
DSSCV
2005
Springer
16 years 8 days ago
2005
Springer
We show that the pre-symmetry set of a smooth surface in 3-space has the structure of the graph of a function from R2 to R2 in many cases of interest, generalising known results fo...
165
click to vote
DAC
2003
ACM
16 years 10 hour ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
171
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a generic methodology to transform a protocol resilient to process crashes into one resilient to arbitrary failures in the case where processes run the same te...
154
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
We present a wizard of Oz framework for the simulation of locationbased mobile games. We explore briefly the methodological concept of Wizard of Oz and show, based on a case study...
177
click to vote
GC
2006
Springer
15 years 6 months ago
2006
Springer
It is shown that for a set S of n pairwise disjoint axis-parallel line segments in the plane there is a simple alternating path of length ( n). This bound is best possible in the...