20441 search results - page 3708 / 4089 » Locally Computable Structures |
116
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
137
click to vote
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
Managing trust is a problem of particular importance in peer-to-peer environments where one frequently encounters unknown agents. Existing methods for trust management, that are b...
136
click to vote
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
This paper addresses the problem of automatic detection of salient video segments for real-world applications such as corporate training based on associated speech transcriptions....
138
click to vote
COCO
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we investigate effective versions of Hausdorff dimension which have been recently introduced by Lutz. We focus on dimension in the class E of sets computable in line...
141
click to vote
DAGM
2001
Springer
15 years 9 months ago
2001
Springer
We show a framework for growth analysis of plant roots in object coordinates which is one requirement for the botanical evaluation of growth mechanisms in roots. The method present...