4488 search results - page 672 / 898 » Properties of NP-Complete Sets |
202
click to vote
SCN
2004
Springer
16 years 1 days ago
2004
Springer
Chameleon signatures were introduced by Krawczyk and Rabin, being non-interactive signature schemes that provide non-transferability. However, that first construction employs a c...
188
click to vote
SEKE
2004
Springer
16 years 1 days ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
173
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
161
click to vote
WABI
2004
Springer
16 years 1 days ago
2004
Springer
—The problem of reconstructing the duplication history of a set of tandemly repeated sequences was first introduced by Fitch [4]. Many recent studies deal with this problem, show...
190
click to vote
ECCV
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. Markov and Conditional random fields (CRFs) used in computer vision typically model only local interactions between variables, as this is computationally tractable. In t...