1228 search results - page 38 / 246 » Continuations, proofs and tests |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
MICAI
2009
Springer
14 years 2 months ago
2009
Springer
Reinforcement Learning is a commonly used technique in robotics, however, traditional algorithms are unable to handle large amounts of data coming from the robot’s sensors, requi...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a new method called Transition-based RRT (T-RRT) for path planning problems in continuous cost spaces. It combines the exploration strength of the RRT algorith...
BMVC
2001
13 years 10 months ago
2001
This paper presents an inspection method of particle contamination for semiconductor reticles using continuous wavelet transform. Particle defect is considered as a singularity in...
MEMETIC
2010
13 years 2 months ago
2010
In combinatorial solution spaces Iterated Local Search (ILS) turns out to be exceptionally successful. The question arises: is ILS also capable of improving the optimization proces...