10997 search results - page 287 / 2200 » On the Structure of Complete Sets |
181
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
In this work we study linear secret sharing schemes for s-t connectivity in directed graphs. In such schemes the parties are edges of a complete directed graph, and a set of partie...
186
click to vote
JUCS
2010
15 years 5 months ago
2010
: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no fini...
197
click to vote
NAR
2002
15 years 6 months ago
2002
The SCOP (Structural Classification of Proteins) database is a comprehensive ordering of all proteins of known structure, according to their evolutionary and structural relationsh...
178
click to vote
IEICET
2008
15 years 6 months ago
2008
We consider the polynomial time learnability of finite unions of ordered tree patterns with internal structured variables, in the query learning model of Angluin (1988). An ordered...
194
click to vote
APBC
2004
15 years 8 months ago
2004
Here we investigate an extension of a previously suggested "automatic amide I frequency selection procedure" where we introduce an additional criterion utilizing empiric...