10916 search results - page 1905 / 2184 » On Constructive Connectives and Systems |
177
click to vote
QSIC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...
192
click to vote
DOLAP
2003
ACM
15 years 12 months ago
2003
ACM
Multidimensional aggregation queries constitute the single most important class of queries for data warehousing applications and decision support systems. The bottleneck in the ev...
174
click to vote
IRAL
2003
ACM
15 years 12 months ago
2003
ACM
Recent years saw an increased interest in the use and the construction of large corpora. With this increased interest and awareness has come an expansion in the application to kno...
186
click to vote
SIGECOM
2003
ACM
15 years 12 months ago
2003
ACM
We consider the problem of designing fast and strategyproof exchanges for dynamic resource allocation problems in distributed systems. The exchange is implemented as a sequence of...
194
click to vote
SMA
2003
ACM
15 years 12 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...