Sciweavers

2052 search results - page 260 / 411
» Direct Combination
Sort
View
108
Voted
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 7 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 7 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 7 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 7 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 7 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