1116 search results - page 112 / 224 » Applying Predicate Abstraction to Abstract State Machines |
IROS
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— We propose a fast approach for detecting collisionfree swing-foot trajectories for legged locomotion over extreme terrains. Instead of simulating the swing trajectories...
70
Voted
ICCBR
2005
Springer
15 years 4 months ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...
100
click to vote
ICNC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Parallel genetic algorithms are usually implemented on parallel machines or distributed systems. This paper describes how finegrained parallel genetic algorithms can be ...
IWANN
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In Machine Learning, ensembles are combination of classifiers. Their objective is to improve the accuracy. In previous works, we have presented a method for the generati...
102
click to vote
GECCO
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Feature extraction based on evolutionary search offers new possibilities for improving classification accuracy and reducing measurement complexity in many data mining and...