436 search results - page 15 / 88 » Recursion and Complexity |
ACTA
2007
13 years 7 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper is concerned with open questions and modifications to expand the applicability of the recursive optimal per-pixel estimate (ROPE) of end-to-end distortion, which are pa...
GBRPR
2009
Springer
14 years 11 days ago
2009
Springer
The median graph has been shown to be a good choice to infer a representative of a set of graphs. It has been successfully applied to graph-based classification and clustering. Ne...
PEPM
2000
ACM
13 years 11 months ago
2000
ACM
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...