1626 search results - page 161 / 326 » Subtyping with Power Types |
184
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
148
click to vote
HPDC
1996
IEEE
15 years 10 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...
156
click to vote
MOBICOM
1996
ACM
15 years 10 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...
149
click to vote
ITP
2010
15 years 10 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...
190
click to vote
SIGGRAPH
2000
ACM
15 years 10 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...