Sciweavers

437 search results - page 53 / 88
» Automatic Generation of Implied Constraints
Sort
View
TVLSI
2008
152views more  TVLSI 2008»
13 years 9 months ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...
CVPR
2009
IEEE
15 years 4 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
ECCV
2008
Springer
14 years 11 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
EVOW
2010
Springer
14 years 4 months ago
Towards a Generic Framework for Automated Video Game Level Creation
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
Nathan Sorenson, Philippe Pasquier
AVSS
2005
IEEE
14 years 3 months ago
Surveillance video for mobile devices
In this paper, we present a video encoding scheme that uses object-based adaptation to deliver surveillance video to mobile devices. The method relies on a set of complementary vi...
Olivier Steiger, Touradj Ebrahimi, Andrea Cavallar...