3353 search results - page 320 / 671 » Laver and set theory |
181
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
In an election held in a noisy environment, agents may unintentionally perturb the outcome by communicating faulty preferences. We investigate this setting by introducing a theore...
203
click to vote
ATVA
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
175
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
192
click to vote
CVPR
2008
IEEE
16 years 26 days ago
2008
IEEE
We consider the problem of capturing shape characteristics on specular (refractive and reflective) surfaces that are nearly flat. These surfaces are difficult to model using tradit...
152
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
This paper introduces the concept of a critical backbone as a minimal set of variables or part of the solution necessary to be within the basin of attraction of the global optimum...