3238 search results - page 345 / 648 » On the Computational Interpretation of Negation |
166
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
200
click to vote
SCIA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an efficient system for action recognition from very short sequences. For action recognition typically appearance and/or motion information of an action ...
166
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Recently Non-negative Matrix Factorization (NMF) has received a lot of attentions in information retrieval, computer vision and pattern recognition. NMF aims to find two non-nega...
188
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
A two-stage cascaded classification approach with an optimal candidate selection scheme is proposed to recognize places using images taken by camera phones. An optimal acceptance ...
207
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes, which consider the negative effects of voltage scaling on system reliability, were recently studied to save energy while preserv...