Sciweavers

1726 search results - page 234 / 346
» A resistance-based approach to consensus algorithm performan...
Sort
View
HPCA
2006
IEEE
16 years 4 months ago
Completely verifying memory consistency of test program executions
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
Chaiyasit Manovit, Sudheendra Hangal
121
Voted
CLEF
2008
Springer
15 years 6 months ago
Logistic Regression for Metadata: Cheshire Takes on Adhoc-TEL
In this paper we will briefly describe the approaches taken by the Berkeley Cheshire Group for the Adhoc-TEL 2008 tasks (Mono and Bilingual retrieval). Since the AdhocTEL task is ...
Ray R. Larson
APN
2000
Springer
15 years 8 months ago
Efficient Symbolic State-Space Construction for Asynchronous Systems
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...
CVPR
1997
IEEE
16 years 6 months ago
Recursive Structure and Motion from Image Sequences using Shape and Depth Spaces
In this paper a novel recursive method for estimating structure and motion from image sequences is presented. The novelty lies in the fact that the output of the algorithm is inde...
Rikard Berthilsson, Anders Heyden, Gunnar Sparr
ICCV
2003
IEEE
16 years 6 months ago
Fusion of Static and Dynamic Body Biometrics for Gait Recognition
Human identification at a distance has recently gained growing interest from computer vision researchers. This paper aims to propose a visual recognition algorithm based upon fusi...
Liang Wang, Huazhong Ning, Tieniu Tan, Weiming Hu