3120 search results - page 550 / 624 » A parameter-less genetic algorithm |
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The following data fusion problem is considered: Given a 3D geometric model of an object and two uncalibrated images of the same object, and assuming that the object surface is te...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
We present an effective method to optimize over the parameters of an image patch descriptor to obtain one that is computationally more efficient while maintaining a high recogniti...
FASE
2010
Springer
14 years 4 months ago
2010
Springer
Good resource scheduling plays a pivotal role in successful software development projects. However, effective resource scheduling is complicated by such disruptions as requirements...
CGO
2009
IEEE
14 years 4 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...