3238 search results - page 348 / 648 » On the Computational Interpretation of Negation |
199
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
180
click to vote
RTSS
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we consider the system-wide energy management problem for a set of periodic real-time tasks running on a DVS-enabled processor. Our solution uses a generalized powe...
179
click to vote
STOC
2006
ACM
16 years 19 days ago
2006
ACM
It has been known for some time that graph isomorphism reduces to the hidden subgroup problem (HSP). What is more, most exponential speedups in quantum computation are obtained by...
188
click to vote
AMFG
2005
IEEE
16 years 9 days ago
2005
IEEE
Non-negative matrix factorization (NMF) is a recently developed method for finding parts-based representation of non-negative data such as face images. Although it has successfully...
163
click to vote
APCSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Continuing advances in semiconductor technology and demand for higher performance will lead to more powerful, superpipelined and wider issue processors. Instruction caches in such ...