1620 search results - page 34 / 324 » Testing Polymorphic Properties |
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
We explore the possibility of recognizing the surface material from a single image with unknown illumination, given the shape of the surface. Model-based PCA is used to create a lo...
114
click to vote
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
108
click to vote
CIARP
2008
Springer
15 years 4 months ago
2008
Springer
The concept of elongation is generally well understood. However, there is no clear, precise, mathematical definition of elongation in any dictionary we could find. We propose that ...
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
XML transformations are very sensitive to types: XML types describe the tags and attributes of XML elements as well as the number, kind, and order of their sub-elements. Therefore,...
107
click to vote
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...