Sciweavers

1211 search results - page 225 / 243
» Isosurface Similarity Maps
Sort
View
APN
2001
Springer
14 years 1 months ago
Rewriting Logic as a Unifying Framework for Petri Nets
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
Mark-Oliver Stehr, José Meseguer, Peter Csa...
MICCAI
2001
Springer
14 years 1 months ago
Automatic Construction of 3D Statistical Deformation Models Using Non-rigid Registration
Abstract. In this paper we introduce the concept of statistical deformation models (SDM) which allow the construction of average models of the anatomy and their variability. SDMs a...
Daniel Rueckert, Alejandro F. Frangi, Julia A. Sch...
ISSRE
2000
IEEE
14 years 1 months ago
Building Trust into OO Components Using a Genetic Analogy
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
Benoit Baudry, Vu Le Hanh, Jean-Marc Jéz&ea...
ROBOCUP
1999
Springer
102views Robotics» more  ROBOCUP 1999»
14 years 1 months ago
A Method for Localization by Integration of Imprecise Vision and a Field Model
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...
Kazunori Terada, Kouji Mochizuki, Atsushi Ueno, Hi...
FSE
1998
Springer
137views Cryptology» more  FSE 1998»
14 years 1 months ago
Differential Cryptanalysis of the ICE Encryption Algorithm
ICE is a 64-bit block cipher presented at the Fast Software Encryption Workshop in January 1997. It introduced the concept of a keyed permutation to improve the resistance against ...
Bart Van Rompay, Lars R. Knudsen, Vincent Rijmen