462 search results - page 55 / 93 » Symbolic Bounded Synthesis |
107
click to vote
ASAP
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we analyze the theoretical delay bound of the SHA-1 algorithm and propose architectures to achieve high throughput hardware implementations which approach this boun...
145
click to vote
NEUROSCIENCE
2001
Springer
15 years 6 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
139
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
114
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
97
Voted
DIGRA
2003
Springer
15 years 7 months ago
2003
Springer
We advocate a research approach to determining the conditions of engagement in game simulation that is a multi-disciplinary cultural and scientific inquiry at the juncture of psyc...