643 search results - page 101 / 129 » tools 1998 |
MICCAI
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
PPSN
1998
Springer
14 years 2 months ago
1998
Springer
This paper describes a system for simulating the evolution of artificial 2D plant morphologies. Virtual plant genotypes are inspired by the mathematical formalism known as Lindenma...
SEAL
1998
Springer
14 years 2 months ago
1998
Springer
Genetic programming evolves Lisp-like programs rather than fixed size linear strings. This representational power combined with generality makes genetic programming an interesting ...
TACAS
1998
Springer
14 years 2 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
UML
1998
Springer
14 years 2 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...