241 search results - page 42 / 49 » Graphs, Hypergraphs and Hashing |
141
click to vote
BIBM
2009
IEEE
15 years 8 months ago
2009
IEEE
Background: Similaritysearch in chemical structure databases is an important problem with many applications in chemical genomics, drug design, and efficient chemical probe screeni...
105
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
130
Voted
ACSW
2007
15 years 3 months ago
2007
Traditional DHT (Distributed Hash Tables) abstraction distributes data items among peer nodes on a structured overlay network. This introduces a number of issues when nodes are un...
118
Voted
PSTV
1993
15 years 3 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
131
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
We study the problem of SPARQL query optimization on top of distributed hash tables. Existing works on SPARQL query processing in such environments have never been implemented in a...