2018 search results - page 164 / 404 » Code Normal Forms |
117
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
Boolean satisfiability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encode...
90
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
Model compensation schemes are a powerful approach to handling mismatches between training and testing conditions. Normally these schemes are run in a batch adaptation mode, re-re...
127
click to vote
ICPP
2009
IEEE
15 years 9 months ago
2009
IEEE
—Equilibria computation is of great importance to many areas such as economics, control theory, and recently computer science. We focus on the computation of Nash equilibria in t...
118
Voted
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
110
Voted
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
On a moving vehicle, speedy motion extraction from video is demanded. Different from the traditional motion estimation methods that track or match 2D features in consecutive motio...