3497 search results - page 274 / 700 » Making Distributed Applications Robust |
183
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
171
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents the detection and classification part of an industrial machine for automated assembly of decorative tessellae over patterned tiles that have significant reliefs...
189
click to vote
TIP
2010
15 years 1 months ago
2010
Imaging plays an important role in experimental fluid dynamics. It is equally important both for scientific research and a range of industrial applications. It is known, however, t...
233
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract-- This paper presents greedy gossip with eavesdropping (GGE), a new average consensus algorithm for wireless sensor network applications. Consensus algorithms have recentl...
305
click to vote
CAIP
2011
Springer
14 years 6 months ago
2011
Springer
We present an algorithm that simultaneously calibrates a color camera, a depth camera, and the relative pose between them. The method is designed to have three key features that no...