2163 search results - page 37 / 433 » cases 2004 |
MKM
2004
Springer
15 years 3 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
PARA
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we explore the parallelization of the scientific library from GNU both on shared-memory and distributed-memory architectures. A pair of classical operations, arising...
PROFES
2004
Springer
15 years 3 months ago
2004
Springer
Software measurement forms a sound basis for monitoring software development process and software product quality. Implementing software measurement is, however, difficult and crea...
SAT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding...
56
Voted
VLDB
2004
ACM
15 years 3 months ago
2004
ACM
Sharing has emerged as a key idea of static and adaptive stream query processing systems. Inherent in these systems is a tension between sharing common work and avoiding unnecessa...