Sciweavers

4609 search results - page 442 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
CVPR
2009
IEEE
17 years 2 months ago
Geometric Reasoning for Single Image Structure Recovery
We study the problem of generating plausible interpretations of a scene from a collection of line segments automatically extracted from a single indoor image. We show that we ca...
David C. Lee, Martial Hebert, Takeo Kanade
CVPR
1999
IEEE
16 years 8 months ago
Explaining Optical Flow Events with Parameterized Spatio-Temporal Models
A spatio-temporal representation for complex optical flow events is developed that generalizes traditional parameterized motion models (e.g. affine). These generative spatio-tempo...
Michael J. Black
ECCV
2008
Springer
16 years 8 months ago
Brain Hallucination
Abstract. In this paper, we investigate brain hallucination, or generating a high resolution brain image from an input low-resolution image, with the help of another high resolutio...
François Rousseau
ICIP
2008
IEEE
16 years 8 months ago
A ground truth for motion-based video-object segmentation
This paper describes the design procedure followed to generate a ground truth for the evaluation of motion-based algorithms for video-object segmentation. A thorough review and cl...
Fabricio Tiburzi, Jesús Bescós, Jos&...
DAC
1999
ACM
16 years 7 months ago
LISA - Machine Description Language for Cycle-Accurate Models of Programmable DSP Architectures
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
Stefan Pees, Andreas Hoffmann, Vojin Zivojnovic, H...