Sciweavers

1313 search results - page 131 / 263
» Data Discretization Unification
Sort
View
SCIA
2005
Springer
182views Image Analysis» more  SCIA 2005»
14 years 3 months ago
Complex Correlation Statistic for Dense Stereoscopic Matching
A traditional solution of area-based stereo uses some kind of windowed pixel intensity correlation. This approach suffers from discretization artifacts which corrupt the correlat...
Jan Cech, Radim Sára
PADS
2004
ACM
14 years 3 months ago
Conservative Synchronization of Large-Scale Network Simulations
Parallel discrete event simulation techniques have enabled the realization of large-scale models of communication networks containing millions of end hosts and routers. However, t...
Alfred Park, Richard M. Fujimoto, Kalyan S. Peruma...
PG
2003
IEEE
14 years 3 months ago
Particle-Based Visual Simulation of Explosive Flames
In the present paper, we propose a particle-based method for the visual simulation of explosive flames. This method consists of a numerical simulation method based on a fluid mode...
Daiki Takeshita, Shin Ota, Machiko Tamura, Tadahir...
HYBRID
2001
Springer
14 years 2 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
DGCI
2000
Springer
14 years 2 months ago
Deformable Modeling for Characterizing Biomedical Shape Changes
Abstract. We present a new algorithm for modeling and characterizing shape changes in 3D image sequences of biomedical structures. Our algorithm tracks the shape changes of the obj...
Matthieu Ferrant, Benoit M. Macq, Arya Nabavi, Sim...