Sciweavers

426 search results - page 35 / 86
» Characteristics of Object Oriented Modeling Methods
Sort
View
CVPR
2005
IEEE
13 years 11 months ago
Dense Photometric Stereo Using Tensorial Belief Propagation
We address the normal reconstruction problem by photometric stereo using a uniform and dense set of photometric images captured at fixed viewpoint. Our method is robust to spurio...
Kam-Lun Tang, Chi-Keung Tang, Tien-Tsin Wong
OOPSLA
1989
Springer
14 years 1 months ago
A Denotational Semantics of Inheritance and its Correctness
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
William R. Cook, Jens Palsberg
HVC
2005
Springer
160views Hardware» more  HVC 2005»
14 years 3 months ago
Simultaneous SAT-Based Model Checking of Safety Properties
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
Zurab Khasidashvili, Alexander Nadel, Amit Palti, ...
MICCAI
1999
Springer
14 years 2 months ago
3D Image Matching Using a Finite Element Based Elastic Deformation Model
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
Matthieu Ferrant, Simon K. Warfield, Charles R. G....
ICPR
2004
IEEE
14 years 11 months ago
Multi Feature Path Modeling for Video Surveillance
This paper proposes a novel method for detecting nonconforming trajectories of objects as they pass through a scene. Existing methods mostly use spatial features to solve this pro...
Imran N. Junejo, Mubarak Shah, Omar Javed