4211 search results - page 214 / 843 » Types as Abstract Interpretations |
136
click to vote
ITICSE
1996
ACM
15 years 8 months ago
1996
ACM
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
126
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
Despite the dramatic growth of online genomic data, their understanding is still in early stage. To have meaningful interpretation, it requires the integration of various types of ...
BILDMED
2008
15 years 6 months ago
2008
Image bias is a usual phenomenon in MR imaging when using surface coils. It complicates the interpretation as well as the algorithmic postprocessing of such data. We introduce a bi...
151
click to vote
IJCAI
2001
15 years 5 months ago
2001
We present a new approach to inferring a probability distribution which is incompletely specified by a number of linear constraints. We argue that the currently most popular appro...
145
click to vote
VMV
2001
15 years 5 months ago
2001
A new approach to subdivision based on the evolution of surfaces under curvature motion is presented. Such an evolution can be understood as a natural geometric filter process whe...