5525 search results - page 935 / 1105 » Verification of Model Transformations |
173
click to vote
CAIP
2005
Springer
16 years 1 days 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...
166
click to vote
ECML
2005
Springer
16 years 1 days 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...
163
click to vote
ICFEM
2005
Springer
16 years 15 hour 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...
163
click to vote
KES
2005
Springer
16 years 2 hour 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...
149
click to vote
TLCA
2005
Springer
15 years 12 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...