14739 search results - page 2876 / 2948 » An optimization problem on the sphere |
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
Devising a scheme for efficient and scalable querying of Resource Description Framework (RDF) data has been an active area of current research. However, most approaches define new...
104
click to vote
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we examine the performance of frequent pattern mining algorithms on a modern processor. A detailed performance study reveals that even the best frequent pattern min...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
101
click to vote
CF
2004
ACM
15 years 3 months ago
2004
ACM
Many parallel applications from scientific computing use MPI global communication operations to collect or distribute data. Since the execution times of these communication opera...
122
click to vote
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...