2470 search results - page 149 / 494 » Liveness-Preserving Simulation Relations |
118
click to vote
PARLE
1992
15 years 4 months ago
1992
Complex and data-intensive database queries mandate parallel processing strategies to achieve sufficiently short response times. In praxis, parallel database processing is mostly b...
96
Voted
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
In applications such as vision and molecular biology, a common problem is to find the similar objects to a given target (according to some distance measure) in a large database. T...
84
Voted
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes a novel hybrid GA/SVM method that can predict the interactions between proteins intermediated by the protein-domain relations. Firstly, we represented a protein...
135
click to vote
IEEESCC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Gathering functionally similar agent-based Web services into communities has been proposed and promoted on many occasions. In this paper, we compare the performance of these com...
100
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...