1381 search results - page 130 / 277 » Computational Complexity of Constraint Satisfaction |
128
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
— As silicon CMOS devices are scaled down into the nanoscale regime, new challenges at both the device and system level are arising. While some of these challenges will be overco...
157
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theo...
145
click to vote
MIAR
2010
IEEE
15 years 2 months ago
2010
IEEE
Valve replacement is the most common therapy for diseased aortic valves. Percutaneous approaches are becoming increasingly popular, due to reduced procedural complications and lowe...
270
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Abstract- Data streams of real numbers are generated naturally in many applications. The technology of online subsequence searching in data streams becomes more and more important ...
147
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...