490 search results - page 25 / 98 » Impossibilities for roommate problems |
DAC
2010
ACM
14 years 3 days ago
2010
ACM
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
LEGE
2003
13 years 10 months ago
2003
Testing theories through practice is an important approach to teaching, especially in scientific and technical curricula. Often, lack of resources and logistics problems makes pra...
COMMA
2010
13 years 3 months ago
2010
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...
CORR
2012
Springer
12 years 4 months ago
2012
Springer
We present a new type of monotone submodular functions: multi-peak submodular functions. Roughly speaking, given a family of sets F, we construct a monotone submodular function f ...
STOC
2010
ACM
14 years 6 months ago
2010
ACM
The P vs NP problem arose from the question of whether exhaustive search is necessary for problems with short verifiable solutions. We do not know if even a slight algorithmic imp...