5086 search results - page 350 / 1018 » The Power of Comparative Reasoning |
168
click to vote
ICADL
2005
Springer
16 years 6 days ago
2005
Springer
Search engines of main-stream literature digital libraries such as ACM Digital Library, Google Scholar, and PubMed employ file-based systems, and provide users with a basic boolean...
150
click to vote
SPAA
2004
ACM
16 years 3 days ago
2004
ACM
Despite years of research, the design of efficient nonblocking algorithms remains difficult. A key reason is that current shared-memory multiprocessor architectures support only s...
162
click to vote
GCC
2004
Springer
16 years 2 days ago
2004
Springer
Real-time rendering of complex 3D scene on mobile devices is a challenging task. The main reason is that mobile devices have limited computational capabilities and are lack of powe...
177
click to vote
GCC
2004
Springer
16 years 2 days ago
2004
Springer
Distributed computing on heterogeneous nodes, or grid computing, provides a substantial increase in computational power available for many applications. This paper reports our expe...
235
click to vote
LPAR
2004
Springer
16 years 1 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...