Sciweavers

5718 search results - page 417 / 1144
» Modeling Rule Precision
Sort
View
ICIP
2005
IEEE
16 years 13 days ago
An active volumetric model for 3D reconstruction
—In this paper, we present an active volumetric model (AVM) for 3D reconstruction from multiple calibrated images of a scene. The AVM is a physically motivated 3D deformable mode...
Xin Liu, Hongxun Yao, Xilin Chen, Wen Gao
ISORC
2005
IEEE
16 years 13 days ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
ER
2005
Springer
134views Database» more  ER 2005»
16 years 11 days ago
An Agent-Oriented Meta-model for Enterprise Modelling
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
Ivan Jureta, Stéphane Faulkner
ISCIS
2004
Springer
16 years 6 days ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
SIGGRAPH
1996
ACM
15 years 11 months ago
A Model of Visual Adaptation for Realistic Image Synthesis
In this paper we develop a computational model of visual adaptation for realistic image synthesis based on psychophysical experiments. The model captures the changes in threshold ...
James A. Ferwerda, Sumanta N. Pattanaik, Peter Shi...