Sciweavers

6365 search results - page 882 / 1273
» Fast Local Computation Algorithms
Sort
View
233
Voted
PDCN
2004
15 years 8 months ago
Speculative prefetching of optional locks in distributed systems
We present a family of methods for speeding up distributed locks by exploiting the uneven distribution of both temporal and spatial locality of access behaviour of many applicatio...
Thomas Schöbel-Theuer
IJCV
1998
238views more  IJCV 1998»
15 years 7 months ago
Feature Detection with Automatic Scale Selection
The fact that objects in the world appear in different ways depending on the scale of observation has important implications if one aims at describing them. It shows that the not...
Tony Lindeberg
205
Voted
CVPR
2004
IEEE
16 years 9 months ago
Shedding Light on Stereoscopic Segmentation
We propose a variational algorithm to jointly estimate the shape, albedo, and light configuration of a Lambertian scene from a collection of images taken from different vantage po...
Hailin Jin, Daniel Cremers, Anthony J. Yezzi, Stef...
198
Voted
ICCV
1998
IEEE
16 years 9 months ago
Consensus Surfaces for Modeling 3D Objects from Multiple Range Images
In this paper, we present a robust method for creating a triangulated surface mesh from multiple range images. Our method merges a set of range images into a volumetric implicit-s...
Mark D. Wheeler, Yoichi Sato, Katsushi Ikeuchi
CHARME
2005
Springer
143views Hardware» more  CHARME 2005»
16 years 29 days ago
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
Gianfranco Ciardo, Andy Jinqing Yu