199 search results - page 14 / 40 » Denotations for Classical Proofs - Preliminary Results |
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
ECML
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We investigate the problem of using function approximation in reinforcement learning where the agent’s policy is represented as a classifier mapping states to actions....
SIAMAM
2008
13 years 7 months ago
2008
: Mesenchymal motion denotes a form of cell movement through tissue, which can be observed for certain cancer metastasis. In [11], a mathematical model for this form of movement wa...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper introduces scale transforms to measure rhythmic similarity between two musical pieces. The rhythm of a piece of music is described by the scale transform magnitude, com...
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...