15416 search results - page 2727 / 3084 » Embeddings of Computable Structures |
204
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
196
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
155
click to vote
CHARME
2001
Springer
15 years 11 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...
164
click to vote
CIKM
2001
Springer
15 years 11 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...
173
click to vote
CIKM
2001
Springer
15 years 11 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....