4781 search results - page 491 / 957 » Complexity at large |
216
Voted
TVLSI
2008
15 years 7 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
251
click to vote
BMCBI
2004
15 years 7 months ago
2004
Background: The identification of relevant biological features in large and complex datasets is an important step towards gaining insight in the processes underlying the data. Oth...
202
Voted
RTSS
2002
IEEE
16 years 12 days ago
2002
IEEE
Feasibility analysis of fixed priority systems has been widely studied in the real-time literature and several acceptance tests have been proposed to guarantee a set of periodic ...
196
Voted
CGO
2007
IEEE
15 years 11 months ago
2007
IEEE
Dynamic predication has been proposed to reduce the branch misprediction penalty due to hard-to-predict branch instructions. A recently proposed dynamic predication architecture, ...
225
click to vote
AVSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Background modeling for dynamic scenes is an important problem in the context of real time video surveillance systems. Several nonparametric background models have been proposed t...