Sciweavers

1353 search results - page 191 / 271
» On the production of creative subjectivity
Sort
View
GECCO
2007
Springer
144views Optimization» more  GECCO 2007»
15 years 10 months ago
The reliability of confidence intervals for computational effort comparisons
This paper analyses the reliability of confidence intervals for Koza's computational effort statistic. First, we conclude that dependence between the observed minimum generat...
Matthew Walker, Howard Edwards, Chris H. Messom
GPCE
2007
Springer
15 years 10 months ago
Generative metaprogramming
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
Salvador Trujillo, Maider Azanza, Oscar Día...
GROUP
2007
ACM
15 years 10 months ago
The story of a working workflow management system
This work presents experiences with the adopting of a workflow management system in a large financial institution. We describe the gradual evolution of a traditional work process,...
Steen Brahe, Kjeld Schmidt
HRI
2007
ACM
15 years 10 months ago
Robots as interfaces to haptic and locomotor spaces
Research on spatial cognition and navigation of the visually impaired suggests that vision may be a primary sensory modality that enables humans to align the egocentric (self to o...
Vladimir A. Kulyukin, Chaitanya Gharpure, Cassidy ...
ACL2
2006
ACM
15 years 10 months ago
Combining ACL2 and an automated verification tool to verify a multiplier
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
Erik Reeber, Jun Sawada