624 search results - page 68 / 125 » Test set compaction algorithms for combinational circuits |
150
click to vote
ESANN
2008
15 years 5 months ago
2008
We propose an original automatic alignment of definitions taken from different dictionaries that could be associated to the same concept although they may have different labels. Th...
164
click to vote
EOR
2011
14 years 11 months ago
2011
A simple game is a pair consisting of a finite set N of players and a set W ⊆ 2N of winning coalitions. (Vector-)weighted majority games ((V)WMG) are a special case of simple ga...
150
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Many computer vision systems try to infer semantic information about a video scene content by looking at the time series of the silhouettes of the moving objects. This paper propo...
147
click to vote
SIAMSC
2008
15 years 4 months ago
2008
In this study, nonnegative matrix factorization is recast as the problem of approximating a polytope on the probability simplex by another polytope with fewer facets. Working on th...
158
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...