5525 search results - page 935 / 1105 » Verification of Model Transformations |
129
click to vote
CAIP
2005
Springer
15 years 9 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...
133
click to vote
ECML
2005
Springer
15 years 9 months ago
2005
Springer
We present a method for transferring knowledge learned in one task to a related task. Our problem solvers employ reinforcement learning to acquire a model for one task. We then tra...
124
click to vote
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
129
Voted
KES
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an effective strategy to extract the buildings and to reconstruct 3-D buildings using high-resolution multispectral stereo satellite images. Proposed scheme con...
114
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...