Sciweavers

1886 search results - page 119 / 378
» Verifying and Validating Simulation Models
Sort
View
MICCAI
2002
Springer
15 years 10 months ago
A Viscous Fluid Model for Multimodal Non-rigid Image Registration Using Mutual Information
We propose a multimodal free form registration algorithm based on maximization of mutual information. Images to be aligned are modeled as a viscous fluid that deforms under the inf...
Emiliano D'Agostino, Frederik Maes, Dirk Vandermeu...
ICIP
2009
IEEE
14 years 7 months ago
Model based analysis for quantization parameter cascading in hierarchical video coding
Originally, the hierarchical coding structure was proposed to achieve temporal scalability. Soon after, it was realized that with a proper quantization parameter cascading (QPC) s...
Xiang Li, Peter Amon, Andreas Hutter, André...
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
15 years 3 months ago
A Solution for Hardware Emulation of Non Volatile Memory Macrocells
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...
Alessandro Pirola
IJBRA
2007
84views more  IJBRA 2007»
14 years 9 months ago
Is the protein folding an aim-oriented process? Human haemoglobin as example
: The model for protein folding (in silico) simulation is presented. Three steps have been implemented: • early stage folding based on the backbone conformation • hydrophobic c...
Michal Brylinski, Leszek Konieczny, Irena Roterman
CP
2000
Springer
15 years 2 months ago
Constraint-Based Agents: The ABC's of CBA's
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
Alan K. Mackworth