320 search results - page 57 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
99
Voted
CAIP
2005
Springer
15 years 6 months ago
2005
Springer
In radiation treatment (RT) planning, clinicians must trace the outline of a few critical structures on a large number of images. Using automated image segmentation could save trem...
128
Voted
SIGMOD
2004
ACM
16 years 18 days ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...
121
Voted
ICPR
2000
IEEE
16 years 1 months ago
2000
IEEE
Amethod for quick determination of the position and pose of a 3D free-form object with respect to its 2D projective image(s) is proposed. It is a precondition of the method that a...
128
click to vote
GI
1998
Springer
15 years 4 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...