12774 search results - page 2429 / 2555 » A Framework for Proof Systems |
187
click to vote
RTAS
2005
IEEE
16 years 2 days ago
2005
IEEE
While caches have become invaluable for higher-end architectures due to their ability to hide, in part, the gap between processor speed and memory access times, caches (and partic...
197
click to vote
RTCSA
2005
IEEE
16 years 2 days ago
2005
IEEE
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
167
click to vote
SEUS
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
190
click to vote
IUI
2005
ACM
16 years 1 days ago
2005
ACM
In this paper, we present our efforts towards creating interfaces for networked media exploration and collaborative annotation. The problem is important since online social networ...
177
click to vote
MIR
2005
ACM
16 years 1 days ago
2005
ACM
Web image search has been explored and developed in academic as well as commercial areas for over a decade. To measure the similarity between Web images and user queries, most of ...