5757 search results - page 902 / 1152 » Dynamic Policy Programming |
183
click to vote
IFIP
2004
Springer
16 years 16 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
161
click to vote
ISMIR
2004
Springer
16 years 16 days ago
2004
Springer
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
182
click to vote
RISE
2004
Springer
16 years 15 days ago
2004
Springer
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...
218
click to vote
CVPR
2003
IEEE
16 years 13 days ago
2003
IEEE
We develop a framework for the image segmentation problem based on a new graph-theoretic formulation of clustering. The approach is motivated by the analogies between the intuitiv...
182
click to vote
ICDAR
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...