13603 search results - page 2704 / 2721 » On the Computational Complexity of Cut-Reduction |
MFCS
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
MIDDLEWARE
2004
Springer
14 years 22 days ago
2004
Springer
Peer-to-peer (P2P) systems are becoming increasingly popular and complex, serving millions of users today. However, the design of current unstructured P2P systems does not take ful...
MMAS
2004
Springer
14 years 22 days ago
2004
Springer
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...
PKDD
2004
Springer
14 years 22 days ago
2004
Springer
Clustering has become an increasingly important task in analysing huge amounts of data. Traditional applications require that all data has to be located at the site where it is scr...
PRICAI
2004
Springer
14 years 22 days ago
2004
Springer
We present a novel geometric model for robot mapping based on shape. Shape similarity measure and matching techniques originating from computer vision are specially redesigned for ...