4488 search results - page 672 / 898 » Properties of NP-Complete Sets |
189
click to vote
SCN
2004
Springer
15 years 11 months 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...
171
click to vote
SEKE
2004
Springer
15 years 11 months 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 ...
161
click to vote
TACAS
2004
Springer
15 years 11 months 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...
139
click to vote
WABI
2004
Springer
15 years 11 months 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...
170
click to vote
ECCV
2010
Springer
15 years 11 months 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...