Sciweavers

4245 search results - page 269 / 849
» Input Modeling
Sort
View
TNN
2008
93views more  TNN 2008»
15 years 7 months ago
Towards the Optimal Design of Numerical Experiments
This paper addresses the problem of the optimal design of numerical experiments for the construction of nonlinear surrogate models. We describe a new method, called learner disagre...
S. Gazut, J.-M. Martinez, Gérard Dreyfus, Y...
CVPR
2004
IEEE
16 years 9 months ago
Probability Models for High Dynamic Range Imaging
Methods for expanding the dynamic range of digital photographs by combining images taken at different exposures have recently received a lot of attention. Current techniques assum...
Chris Pal, Richard Szeliski, Matthew Uyttendaele, ...
ICIP
2002
IEEE
16 years 8 months ago
Extract highlights from baseball game video with hidden Markov models
In this paper, we describe a statistical method to detect highlights in a baseball game video. The input video is first segmented into scene shots, within which the camera motion ...
Peng Chang, Mei Han, Yihong Gong
181
Voted
MICCAI
2009
Springer
16 years 8 months ago
Predictive Simulation of Bidirectional Glenn Shunt Using a Hybrid Blood Vessel Model
Abstract. This paper proposes a method for performing predictive simulation of cardiac surgery. It applies a hybrid approach to model the deformation of blood vessels. The hybrid b...
Hao Li, Wee Kheng Leow, Ing-Sh Chiu
CADE
2007
Springer
16 years 7 months ago
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
Andrei Voronkov, Juan Antonio Navarro Pérez