4488 search results - page 200 / 898 » Properties of NP-Complete Sets |
ICOIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present the set of base algorithms for generating connected random graphs (RG). RG can be used for testing different algorithms on networks. The fast al...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
CLEF
2001
Springer
14 years 26 days ago
2001
Springer
Participating in a text retrieval conference for the first time, Eidetica has run six minimalistic tests with its t·repository indexer, doing as little tuning as possible, in ord...
POPL
1997
ACM
14 years 16 days ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
WSC
2008
13 years 10 months ago
2008
The technique of control variates requires that the user identify a set of variates that are correlated with the estimation variable and whose means are known to the user. We rela...