Sciweavers

9997 search results - page 370 / 2000
» The case for crowd computing
Sort
View
IWPEC
2004
Springer
16 years 3 days ago
A Structural View on Parameterizing Problems: Distance from Triviality
Based on a series of known and new examples, we propose the generalized setting of “distance from triviality” measurement as a reasonable and prospective way of determining use...
Jiong Guo, Falk Hüffner, Rolf Niedermeier
FOCS
2008
IEEE
16 years 1 months ago
On the Union of Cylinders in Three Dimensions
We show that the combinatorial complexity of the union of n infinite cylinders in R3 , having arbitrary radii, is O(n2+ε ), for any ε > 0; the bound is almost tight in the w...
Esther Ezra
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
16 years 7 days ago
Symbolic Test Selection Based on Approximate Analysis
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...
SIGCSE
2004
ACM
168views Education» more  SIGCSE 2004»
16 years 5 days ago
Design, science, and engineering topics?: teaching HCI with a unified method
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...
D. Scott McCrickard, Christa M. Chewar, Jacob P. S...
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