2647 search results - page 141 / 530 » Solving Term Inequalities |
141
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Thirteen years have passed since Karl Sims published his work on evolving virtual creatures. Since then, several novel approaches to neural network evolution and genetic algorithm...
132
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...
146
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
127
Voted
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
139
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
This paper argues that the design of remote help-giving systems should be grounded in articulation work and the methodical ways in which help-givers and help-seekers coordinate th...