31324 search results - page 79 / 6265 » Compare |
SAT
2004
Springer
15 years 3 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
CLUSTER
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a comparative study of the communication middleware systems suitable for aggregating computational clusters with heterogeneous incompatible SANs into a common ...
SIBGRAPI
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we compare two distinct primal sketch feature extraction operators: one based on neural network feature learning and the other based on mathematical models of the f...
SAC
2003
ACM
15 years 3 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
BTW
2003
Springer
15 years 3 months ago
2003
Springer
Microarrays make it possible to monitor the expression of thousands of genes in parallel thus generating huge amounts of data. So far, several databases have been developed for man...