Sciweavers

2643 search results - page 399 / 529
» Higher order messaging
Sort
View
ICDCS
2002
IEEE
15 years 9 months ago
A New Document Placement Scheme for Cooperative Caching on the Internet
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...
Lakshmish Ramaswamy, Ling Liu
INFOCOM
2002
IEEE
15 years 9 months ago
Routing in Overlay Multicast Networks
— 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...
Sherlia Shi, Jonathan S. Turner
165
Voted
TPHOL
2002
IEEE
15 years 9 months ago
Free-Style Theorem Proving
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
David Delahaye
SMA
2009
ACM
141views Solid Modeling» more  SMA 2009»
15 years 9 months ago
Robust principal curvatures using feature adapted integral invariants
Principal curvatures and principal directions are fundamental local geometric properties. They are well defined on smooth surfaces. However, due to the nature as higher order di...
Yu-Kun Lai, Shi-Min Hu, Tong Fang
ECCV
2010
Springer
15 years 9 months ago
Partition Min-Hash for Partial Duplicate Image Discovery
In this paper, we propose Partition min-Hash (PmH), a novel hashing scheme for discovering partial duplicate images from a large database. Unlike the standard min-Hash algorithm th...