2801 search results - page 144 / 561 » On the Adequateness of the Connection Method |
154
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
136
click to vote
IOLTS
2009
IEEE
15 years 11 months ago
2009
IEEE
The amount of physical variation among electronic components on a die is increasing rapidly. There is a need for a better understanding of variations in transient fault susceptibil...
131
click to vote
SCALESPACE
2009
Springer
15 years 11 months ago
2009
Springer
Matrix fields are important in many applications since they are the adequate means to describe anisotropic behaviour in image processing models and physical measurements. A promin...
143
click to vote
CRV
2008
IEEE
15 years 11 months ago
2008
IEEE
Methods for reconstructing photorealistic 3D graphics models from images or video are appealing applications of computer vision. Such methods rely on good input image data, but th...
130
click to vote
IV
2008
IEEE
15 years 11 months ago
2008
IEEE
—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...