4636 search results - page 343 / 928 » Modelling and Validation with VipTool |
147
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
140
Voted
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
119
click to vote
MICCAI
2009
Springer
16 years 5 months ago
2009
Springer
Potential sanitary effects related to electromagnetic fields exposure raise public concerns, especially for fetuses during pregnancy. Human fetus exposure can only be assessed thro...
101
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
As designers become more aggressive in introducing optical components to micro-systems, rigorous optical models are required for system-level simulation tools. Common optical mode...
143
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...