4372 search results - page 341 / 875 » Algorithmic Theories of Everything |
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 29 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...
191
click to vote
GECCO
2007
Springer
16 years 29 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...
156
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...
285
click to vote
ITICSE
2005
ACM
16 years 10 days ago
2005
ACM
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...