4403 search results - page 340 / 881 » Galois Theory of Algorithms |
184
click to vote
ATAL
2007
Springer
16 years 29 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...
206
click to vote
ATVA
2007
Springer
16 years 29 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...
150
click to vote
DRM
2007
Springer
16 years 28 days ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
190
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
The main aim of randomized search heuristics is to produce good approximations of optimal solutions within a small amount of time. In contrast to numerous experimental results, th...
155
click to vote
IROS
2006
IEEE
16 years 24 days ago
2006
IEEE
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...