3136 search results - page 554 / 628 » Comparison of Clique-Listing Algorithms |
152
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Due to process variations in deep sub-micron (DSM) technologies, the effects of timing defects are difficult to capture. This paper presents a novel coverage metric for estimating...
113
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
155
Voted
ECML
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A combinatorial random variable is a discrete random variable defined over a combinatorial set (e.g., a power set of a given set). In this paper we introduce combinatoria...
147
click to vote
ENC
2006
IEEE
15 years 9 months ago
2006
IEEE
In this work, by using the local node refinement technique purposed in [2, 1], and a quad-tree type algorithm [3, 13], we built a global refinement technique for Kansa's unsy...
182
click to vote
FGR
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present our newly developed face expression modeling system for expression analysis and identification. Given a face image at a front view, a realistic facial mo...