481 search results - page 22 / 97 » Validity of First-Order Knowledge Bases |
QOSA
2007
Springer
14 years 1 months ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
AUSAI
2008
Springer
13 years 9 months ago
2008
Springer
Traditional text classification algorithms are based on a basic assumption: the training and test data should hold the same distribution. However, this identical distribution assum...
IDA
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. One of the most interesting challenges in Knowledge Discovery in Databases (KDD) eld is giving support to users in the composition of tools for forming a valid and useful...
MMS
2007
13 years 7 months ago
2007
In this paper, we develop a theoretical understanding of multi-sensory knowledge and user context and their interrelationships. This is used to develop a generic representation fr...
PKC
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...