16430 search results - page 2593 / 3286 » On Computable Tree Functions |
189
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
We present a novel indexing schema that provides efficient nearest-neighbor queries in multimedia databases consisting of objects described by multiple feature vectors. The bene...
208
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
202
click to vote
SC
2005
ACM
16 years 1 months ago
2005
ACM
Many emerging large-scale data science applications require searching large graphs distributed across multiple memories and processors. This paper presents a distributed breadth...
192
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
194
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...