17185 search results - page 3037 / 3437 » Computational and Quantitative Studies |
195
click to vote
SAC
2004
ACM
16 years 1 months ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
217
click to vote
SAC
2004
ACM
16 years 1 months ago
2004
ACM
Peer-to-Peer (P2P) networking is aimed at exploiting the potential of widely distributed information pools and its effortless access and retrieval irrespectively of underlying net...
243
click to vote
BIRTHDAY
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
212
click to vote
ICS
2004
Tsinghua U.
16 years 1 months ago
2004
Tsinghua U.
Storage mapping optimization is a flexible approach to folding array dimensions in numerical codes. It is designed to reduce the memory footprint after a wide spectrum of loop tr...
206
click to vote
MFCS
2004
Springer
16 years 1 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...