Sciweavers

3235 search results - page 224 / 647
» Partial Redundant Modeling
Sort
View
ICIP
2010
IEEE
15 years 3 months ago
Sparse shapes prototype modeling using genetic algorithms
The process of finding representative shape patterns from sparse datasets is a challenging task: especially for non-rigid objects, shape deformations through time can produce very...
Stefano Maludrottu, Hany Sallam, Carlo S. Regazzon...
ISBI
2007
IEEE
15 years 12 months ago
Inverse Biomedical Imaging Using Separately Adapted Meshes for Parameters and Forward Model Variables
Many important existing and upcoming biomedical imaging modalities lead to nonlinear relationships between state variables from which measurements result and the tissue properties...
Wolfgang Bangerth, Amit Joshi, Eva M. Sevick-Murac...
149
Voted
ECAI
2004
Springer
15 years 11 months ago
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
Christian Köhler, Artur Ottlik, Hans-Hellmut ...
SAMOS
2004
Springer
15 years 11 months ago
Modeling Loop Unrolling: Approaches and Open Issues
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
João M. P. Cardoso, Pedro C. Diniz
FM
2003
Springer
98views Formal Methods» more  FM 2003»
15 years 10 months ago
Generating Counterexamples for Multi-valued Model-Checking
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
Arie Gurfinkel, Marsha Chechik