1686 search results - page 258 / 338 » Higher Order Deforestation |
HAPTICS
2002
IEEE
15 years 4 months ago
2002
IEEE
This study explores the effects of haptic feedback on performance and learning by human subjects executing a dynamic task. We present the results of experiments involving the cont...
ICDCS
2002
IEEE
15 years 4 months ago
2002
IEEE
Most existing work on cooperative caching has been focused on serving misses collaboratively. Very few have studied the effect of cooperation on document placement schemes and its...
IEEEMSP
2002
IEEE
15 years 4 months ago
2002
IEEE
— It is well known that encryption provides secure channels for communicating entities. However, due to lack of covertness on these channels, an eavesdropper can identify encrypt...
104
click to vote
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
— Multicast services can be provided either as a basic network service or as an application-layer service. Higher level multicast implementations often provide more sophisticated...
114
click to vote
TPHOL
2002
IEEE
15 years 4 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...