Sciweavers

1141 search results - page 92 / 229
» Analyzing Electroencephalograms Using Cloud Computing Techni...
Sort
View
85
Voted
CVPR
2007
IEEE
16 years 2 months ago
Polarization and Phase-Shifting for 3D Scanning of Translucent Objects
Translucent objects pose a difficult problem for traditional structured light 3D scanning techniques. Subsurface scattering corrupts the range estimation in two ways: by drastical...
Tongbo Chen, Hendrik P. A. Lensch, Christian Fuchs...
87
Voted
CGF
2008
97views more  CGF 2008»
15 years 22 days ago
Interactive Exploratory Visualization of 2D Vector Fields
In this paper we present several techniques to interactively explore representations of 2D vector fields. Through a set of simple hand postures used on large, touch-sensitive disp...
Tobias Isenberg, Maarten H. Everts, Jens Grubert, ...
UAI
2007
15 years 1 months ago
User-Centered Methods for Rapid Creation and Validation of Bayesian Belief Networks
Bayesian networks (BN) are particularly well suited to capturing vague and uncertain knowledge. However, the capture of this knowledge and associated reasoning from human domain e...
Jonathan D. Pfautz, Zach Cox, Geoffrey Catto, Davi...
107
Voted
DAC
2006
ACM
16 years 1 months ago
Automatic invariant strengthening to prove properties in bounded model checking
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
Mohammad Awedh, Fabio Somenzi
ARITH
2005
IEEE
15 years 6 months ago
Efficient Mapping of Addition Recurrence Algorithms in CMOS
Efficient adder design requires proper selection of a recurrence algorithm and its realization. Each of the algorithms: Weinberger’s, Ling’s and Doran’s were analyzed for it...
Bart R. Zeydel, Theo T. J. H. Kluter, Vojin G. Okl...