Sciweavers

3495 search results - page 492 / 699
» On the random satisfiable process
Sort
View
ASPDAC
2010
ACM
135views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Statistical timing verification for transparently latched circuits through structural graph traversal
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...
Xingliang Yuan, Jia Wang
BMVC
2010
15 years 4 months ago
Large-scale Dictionary Learning For Local Coordinate Coding
Local coordinate coding has recently been introduced to learning visual feature dictionary and achieved top level performance for object recognition. However, the computational co...
Bo Xie, Mingli Song, Dacheng Tao
ISITA
2010
15 years 4 months ago
Approximating discrete probability distributions with causal dependence trees
Abstract--Chow and Liu considered the problem of approximating discrete joint distributions with dependence tree distributions where the goodness of the approximations were measure...
Christopher J. Quinn, Todd P. Coleman, Negar Kiyav...
SIGDIAL
2010
15 years 4 months ago
Parameter estimation for agenda-based user simulation
This paper presents an agenda-based user simulator which has been extended to be trainable on real data with the aim of more closely modelling the complex rational behaviour exhib...
Simon Keizer, Milica Gasic, Filip Jurcícek,...
CAIP
2009
Springer
257views Image Analysis» more  CAIP 2009»
15 years 4 months ago
On the Recovery of Depth from a Single Defocused Image
Abstract. In this paper we address the challenging problem of recovering the depth of a scene from a single image using defocus cue. To achieve this, we first present a novel appro...
Shaojie Zhuo, Terence Sim