4190 search results - page 103 / 838 » Type Class Directives |
155
Voted
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
138
click to vote
CVPR
2000
IEEE
16 years 4 months ago
2000
IEEE
This paper presents a new method for rendering views, especially those of large-scale scenes, such as broad city landscapes. The main contribution of our method is that we are abl...
134
Voted
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
141
Voted
CRV
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a method of classifying human gait in an invariant manner based on silhouette comparison. A database of artificially generated silhouettes is created represent...
143
click to vote
VLDB
1991
ACM
15 years 6 months ago
1991
ACM
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...