1828 search results - page 67 / 366 » First-Class Type Classes |
100
click to vote
SFP
2004
15 years 1 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
Object detection and pixel-wise scene labeling have both been active research areas in recent years and impressive results have been reported for both tasks separately. The integra...
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Recent progress in per-pixel object class labeling of natural images can be attributed to the use of multiple types of image features and sound statistical learning approaches. Wit...
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
All-to-all personalized exchange is one of the most dense collective communication patterns and occurs in many important parallel computing/networking applications. In this paper,...
105
click to vote
ISD
1999
Springer
15 years 4 months ago
1999
Springer
One of the primary methods of studying change in the natural and man-made environment is that of comparison of multi-date maps and images of the earth's surface. Such comparis...