Sciweavers

9716 search results - page 328 / 1944
» The Case for Energy-Proportional Computing
Sort
View
ICPR
2008
IEEE
16 years 8 months ago
Quasi-Euclidean uncalibrated epipolar rectification
This paper deals with the problem of epipolar rectification in the uncalibrated case. First the calibrated (Euclidean) case is recognized as the ideal one, then we observe that in...
Andrea Fusiello, Luca Irsara
DSSCV
2005
Springer
16 years 11 days ago
Pre-symmetry Sets of 3D Shapes
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...
André Diatta, Peter J. Giblin
DAC
2003
ACM
16 years 3 days ago
Dos and don'ts of CTL state coverage estimation
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...
Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi
DSN
2000
IEEE
15 years 11 months ago
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach
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...
Roberto Baldoni, Jean-Michel Hélary, Michel...
ACMACE
2007
ACM
15 years 11 months ago
Capture the flag: simulating a location-based mobile game using the wizard-of-oz method
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...
Regina Bernhaupt, Stefan Jenisch, York Keyser, Man...