7988 search results - page 103 / 1598 » A Useful Undecidable Theory |
JFP
2008
13 years 10 months ago
2008
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
CORR
2002
Springer
13 years 10 months ago
2002
Springer
We give a precise definition of "generic-case complexity" and show that for a very large class of finitely generated groups the classical decision problems of group theor...
AIMS
2008
Springer
14 years 4 months ago
2008
Springer
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Recent large scale experiments have shown that the Normalized Information Distance, an algorithmic information measure, is among the best similarity metrics for melody classi...
ICIAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We describe the implementation of a 2D optical flow algorithm published in the European Conference on Computer Vision (ECCV 2004) by Brox et al. [1] (best paper award) a...