1833 search results - page 208 / 367 » Mechanized Verification with Sharing |
188
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- Shared temporary storage space is often the constraining resource for clusters that serve as execution nodes in wide-area distributed systems. At least one large nationa...
186
click to vote
PUC
2008
2008
Technology scruples: why intimidation will not save the recording industry and how enchantment might
15 years 5 months ago
While the recording industry continues to lobby for increasingly draconian laws to protect their interests, users of digital technology continue to share files and copy protected ...
200
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
Honeybees coordinate foraging efforts across vast areas through a complex system of advertising and recruitment. One mechanism for coordination is the waggle dance, a movement patt...
171
click to vote
AISS
2010
15 years 4 months ago
2010
Kindergartens have been expected to take on a new role of child-raising support due to changes in the social environment such as declining birthrate and deregulation. A web page c...
170
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
We illustrate how to consider a network of cameras as a single generalized camera in a framework proposed by Nayar [13]. We derive the discrete structure from motion equations for...