Sciweavers

2586 search results - page 188 / 518
» Automatic Abstraction for Congruences
Sort
View
MICCAI
2005
Springer
16 years 7 months ago
Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning
Abstract. Percutaneous radiofrequency ablation has become a frequently used technique for the treatment of liver cancers, but still remains very difficult to plan. In this paper, w...
Caroline Villard, Claire Baegert, Pascal Schreck, ...
MICCAI
2005
Springer
16 years 7 months ago
Sensor Guided Ablation Procedure of Left Atrial Endocardium
Abstract. In this paper, we present a sensor guided ablation procedure of highly motile left atrium. It uses a system which automatically registers the 4D heart model with the posi...
Hua Zhong, Takeo Kanade, David Schwartzman
ICIAP
2005
ACM
16 years 6 months ago
Optimal Parameter Estimation for MRF Stereo Matching
Abstract. This paper presents an optimisation technique to select automatically a set of control parameters for a Markov Random Field applied to stereo matching. The method is base...
Riccardo Gherardi, Umberto Castellani, Andrea Fusi...
KBSE
2009
IEEE
16 years 1 months ago
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Tese...
ICWE
2009
Springer
16 years 1 months ago
UWE4JSF: A Model-Driven Generation Approach for Web Applications
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
Christian Kroiss, Nora Koch, Alexander Knapp