Sciweavers

4636 search results - page 325 / 928
» Modelling and Validation with VipTool
Sort
View
WSC
2001
15 years 5 months ago
Accounting for input model and parameter uncertainty in simulation
Taking into account input-model, input-parameter, and stochastic uncertainties inherent in many simulations, our Bayesian approach to input modeling yields valid point and confide...
Faker Zouaoui, James R. Wilson
JCIT
2008
102views more  JCIT 2008»
15 years 4 months ago
Modelling and Simulation for Physical Vapor
1 In this paper we present modeling and simulation for physical vapor deposition for metallic bipolar plates. In the models we discuss the application of different models to simula...
Jürgen Geiser, Robert Rohle
ENTCS
2007
119views more  ENTCS 2007»
15 years 4 months ago
Interpolant Learning and Reuse in SAT-Based Model Checking
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
João Marques-Silva
ECCV
2008
Springer
16 years 6 months ago
Estimating 3D Face Model and Facial Deformation from a Single Image Based on Expression Manifold Optimization
Facial expression modeling is central to facial expression recognition and expression synthesis for facial animation. Previous works reported that modeling the facial expression wi...
Shu-Fan Wang, Shang-Hong Lai
ICPR
2008
IEEE
16 years 5 months ago
3D ear modeling and recognition from video sequences using shape from shading
We describe a novel approach for 3D ear biometrics using video. A series of frames are extracted from a video clip and the region-of-interest (ROI) in each frame is independently ...
Mohamed Abdel-Mottaleb, Steven Cadavid