9521 search results - page 75 / 1905 » Compiling with continuations, continued |
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
FCCM
2002
IEEE
15 years 2 months ago
2002
IEEE
Speech recognition is a computationally demanding task, particularly the stage which uses Viterbi decoding for converting pre-processed speech data into words or sub-word units. W...
LPNMR
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
AUSAI
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Q-learning can be used to learn a control policy that maximises a scalar reward through interaction with the environment. Qlearning is commonly applied to problems with d...
GECCO
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents results from on-going investigations into the performance of the Michiganstyle classifier system in a complex multi-agent environment. Using a simplified model...