332 search results - page 36 / 67 » Using transformations to improve semantic matching |
117
click to vote
Publication
Registration of pre-operative 3D volume dataset and intra-operative 2D images gradually becomes an important technique to assist radiologists in diagnosing complicated diseases. In...
221
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
141
click to vote
CLOUDCOM
2010
Springer
15 years 14 days ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
147
click to vote
ENTCS
2002
15 years 2 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
126
click to vote
IJCAI
2003
15 years 4 months ago
2003
The promise of dynamic selection of business services and automatic integration of applications written to Web Services standards is yet to be realized. This is partially attribut...