2370 search results - page 186 / 474 » A Structured Set of Higher-Order Problems |
145
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: In structural genomics, an important goal is the detection and classification of protein–protein interactions, given the structures of the interacting partners. We h...
115
click to vote
SAT
2007
Springer
15 years 9 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
111
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we study the problem of schema exchange, a natural extension of the data exchange problem to an intensional level. To this end, we first introduce the notion of sche...
145
click to vote
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
The wide adoption of XML has increased the interest of the database community on tree-structured data management techniques. Querying capabilities are provided through tree-patter...
165
Voted
STOC
2000
ACM
15 years 7 months ago
2000
ACM
We first study the problem of doing Verifiable Secret Sharing (VSS) information theoretically secure for a general access structure. We do it in the model where private channels b...