Sciweavers

10996 search results - page 2053 / 2200
» Future Directions in Computing
Sort
View
CSR
2010
Springer
14 years 1 months ago
Balancing Bounded Treewidth Circuits
Algorithmic tools for graphs of small treewidth are used to address questions in complexity theory. For both arithmetic and Boolean circuits, it is shown that any circuit of size ...
Maurice Jansen, Jayalal M. N. Sarma
APGV
2009
ACM
122views Visualization» more  APGV 2009»
14 years 1 months ago
Effects of scale change on distance perception in virtual environments
We conducted two experiments to investigate effects of scale changes on distance perception in virtual environments. In both experiments, participants first made distance estimat...
Tien Dat Nguyen, Christine Ziemer, Jodie M. Plumer...
ICAPR
2009
Springer
14 years 1 months ago
Eigen-domain Relighting of Face Images for Illumination-invariant Face Verification
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...
Vinod Pathangay, Sukhendu Das
SIGGRAPH
2010
ACM
14 years 1 months ago
envyLight: an interface for editing natural illumination
Scenes lit with high dynamic range environment maps of real-world environments exhibit all the complex nuances of natural illumination. For applications that need lighting adjustm...
Fabio Pellacini
SPIN
2001
Springer
14 years 1 months ago
From Model Checking to a Temporal Proof
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
Doron Peled, Lenore D. Zuck
« Prev « First page 2053 / 2200 Last » Next »