1626 search results - page 161 / 326 » Subtyping with Power Types |
165
Voted
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
123
Voted
HPDC
1996
IEEE
15 years 8 months ago
1996
IEEE
Telecommunications, Computing, and Video Technologies are rapidly converging, creating a new multimedia industry that will serve emerging markets on the information highways. To s...
130
click to vote
MOBICOM
1996
ACM
15 years 8 months ago
1996
ACM
The space communication environment and mobile and wireless communication environments show many similarities when observed from the perspective of a transport protocol. Both type...
121
click to vote
ITP
2010
15 years 8 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
161
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
Pose space deformation generalizes and improves upon both shape interpolation and common skeleton-driven deformation techniques. This deformation approach proceeds from the observ...