678 search results - page 63 / 136 » Generalized Percolation Processes Using Pretopology Theory |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes a speciation method that allows an evolutionary process to learn several robot behaviors using a single execution. Species are created in behavioral space in ...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
GRAPHICSINTERFACE
2001
13 years 9 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
MC
2001
13 years 9 months ago
2001
Designing human-computer interfaces that are easy and intuitive to use is important for the use of computer technology in general. Due to the growing complexity of information sys...