4008 search results - page 443 / 802 » An expressive language of signatures |
156
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
We describe scripting facilities to create medical animations for intervention planning based on medical volume data and derived segmentation information. A data independent script...
296
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
182
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
276
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
283
click to vote
VLDB
2004
ACM
16 years 7 months ago
2004
ACM
: This paper presents the "situation manager", a tool that includes both a language and an efficient run-time execution mechanism, aimed at reducing the complexity of act...