Sciweavers

2052 search results - page 260 / 411
» Direct Combination
Sort
View
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
COCO
2007
Springer
111views Algorithms» more  COCO 2007»
15 years 10 months ago
Efficient Arguments without Short PCPs
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...
Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky
ECCV
2010
Springer
15 years 10 months ago
Closed-loop Adaptation for Robust Tracking
Model updating is a critical problem in tracking. Inaccurate extraction of the foreground and background information in model adaptation would cause the model to drift and degrade ...
HPCC
2007
Springer
15 years 10 months ago
Concurrent Number Cruncher: An Efficient Sparse Linear Solver on the GPU
A wide class of geometry processing and PDE resolution methods needs to solve a linear system, where the non-zero pattern of the matrix is dictated by the connectivity matrix of th...
Luc Buatois, Guillaume Caumon, Bruno Lévy
ICB
2007
Springer
120views Biometrics» more  ICB 2007»
15 years 10 months ago
Online Text-Independent Writer Identification Based on Stroke's Probability Distribution Function
Abstract. This paper introduces a novel method for online writer identification. Traditional methods make use of the distribution of directions in handwritten traces. The novelty o...
Bangyu Li, Zhenan Sun, Tieniu Tan