Sciweavers

7820 search results - page 245 / 1564
» Formalization of Time and Space
Sort
View
ISVC
2009
Springer
16 years 1 months ago
Real-Time 3D Reconstruction for Occlusion-Aware Interactions in Mixed Reality
In this paper, we present a system for performing real-time occlusion-aware interactions in a mixed reality environment. Our system consists of 16 ceiling-mounted cameras observing...
Alexander Ladikos, Nassir Navab
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
15 years 11 months ago
Translating Out of Static Single Assignment Form
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gi...
ICIP
2000
IEEE
16 years 8 months ago
Temporal Segmentation of Video Using Frame and Histogram-Space
Two algorithms are presented for the detection of gradual transitions in video sequences. The first is a dissolve detection algorithm utilizing certain properties of a dissolve�...
Robert A. Joyce, Bede Liu
CVPR
2010
IEEE
16 years 3 months ago
Efficient Filter Flow for Space-Variant Multiframe Blind Deconvolution
Ultimately being motivated by facilitating space-variant blind deconvolution, we present a class of linear transformations, that are expressive enough for space-variant filters, ...
Michael Hirsch, Suvrit Sra, Bernhard Schöpf, Stef...
CEC
2008
IEEE
16 years 1 months ago
Learning what to ignore: Memetic climbing in topology and weight space
— We present the memetic climber, a simple search algorithm that learns topology and weights of neural networks on different time scales. When applied to the problem of learning ...
Julian Togelius, Faustino J. Gomez, Jürgen Sc...