2693 search results - page 44 / 539 » On Computing Complex Navigation Functions |
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates...
CRYPTO
2007
Springer
14 years 4 months ago
2007
Springer
We initiate a complexity-theoretic treatment of hardness amplification for collision-resistant hash functions, namely the transformation of weakly collision-resistant hash functio...
ACCV
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. We present an image segmentation technique using the morphological Waterfall algorithm. Improvements in the segmentation are brought about by using improved gradients. Th...
ICDE
2003
IEEE
14 years 11 months ago
2003
IEEE
XML path queries form the basis of complex filtering of XML data. Most current XML path query processing techniques can be divided in two groups. Navigation-based algorithms compu...
LOGCOM
2007
13 years 9 months ago
2007
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...