2018 search results - page 164 / 404 » Code Normal Forms |
162
click to vote
DATE
2009
IEEE
16 years 1 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...
144
click to vote
ICASSP
2009
IEEE
16 years 29 days 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...
165
click to vote
ICPP
2009
IEEE
16 years 27 days 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...
155
click to vote
PPDP
2009
Springer
16 years 23 days 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...
144
click to vote
ICPR
2008
IEEE
16 years 20 days 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...