1670 search results - page 163 / 334 » On Skolemization in constructive theories |
177
click to vote
GECCO
2007
Springer
16 years 20 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...
193
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
143
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
209
click to vote
MYCRYPT
2005
Springer
16 years 2 hour ago
2005
Springer
Recently, some collisions have been exposed for a variety of cryptographic hash functions [20,21] including some of the most widely used today. Many other hash functions using simi...
165
click to vote
AFRIGRAPH
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes the process of designing an authoring tool for virtual environments, using constructivist principles. The focus of the tool is on helping novice designers wit...