2989 search results - page 194 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
142
Voted
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we introduce a new class of data mining problems called learning from aggregate views. In contrast to the traditional problem of learning from a single table of tra...
73
Voted
AIPS
2008
15 years 16 days ago
2008
We consider a generalization of the PDB homomorphism abstractions to what is called "structural patterns". The bais in abstracting the problem in hand into provably trac...
68
Voted
ICPP
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper, we address the issue of implementing matrix-matrix multiplication on heterogeneous platforms. We target two different classes of heterogeneous computing resources: ...
NICSO
2010
Springer
15 years 2 months ago
2010
Springer
t] Based on the mutation matrix formalism and past statistics of genetic algorithm, a Markov Chain transition probability matrix is introduced to provide a guided search for comple...
97
Voted
WWW
2006
ACM
15 years 11 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...