1641 search results - page 5 / 329 » Termination Analysis with Algorithmic Learning |
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...
LR
2011
14 years 4 months ago
2011
This paper suggests a routing method for automated guided vehicles in port terminals that uses the Q-learning technique. One of the most important issues for the efficient operati...
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
LOPSTR
2004
Springer
15 years 2 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
ICML
1994
IEEE
15 years 28 days ago
1994
IEEE