2911 search results - page 466 / 583 » A Theory of Expressiveness in Mechanisms |
108
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
In this work we propose an approach of incorporating learned mutation strategies (LMS) in genetic programming (GP) employed for evolution and adaptation of locomotion gaits of sim...
96
Voted
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
111
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...
114
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
108
Voted
SAT
2005
Springer
15 years 7 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...