Sciweavers

612 search results - page 87 / 123
» Modeling process flow using diagrams
Sort
View
MODELS
2009
Springer
14 years 2 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
ICIP
2003
IEEE
14 years 27 days ago
Monocular 3D human body reconstruction towards depth augmentation of television sequences
This paper addresses the reconstruction of 3 0 human body models fram Z D video sequences. Considering that the input frames are already segmented, the proposed technique consists...
Angel Domingo Sappa, Niki Aifanti, Sotiris Malassi...
ENVSOFT
2000
70views more  ENVSOFT 2000»
13 years 7 months ago
Modeling soil pile bioremediation
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
Fehmidakhatun A. Mesania, Aaron A. Jennings
CIKM
2008
Springer
13 years 9 months ago
An extended cooperative transaction model for xml
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...
Francis Gropengießer, Kai-Uwe Sattler
ICIP
2006
IEEE
14 years 9 months ago
Robust Anisotropic Disparity Estimation with Perceptual Maximum Variation Modeling
We present a robust anisotropic dense disparity estimation algorithm which employs perceptual maximum variation modeling. Edge-preserving dense disparity vectors are estimated usi...
Jangheon Kim, Thomas Sikora