481 search results - page 46 / 97 » Validity of First-Order Knowledge Bases |
ASE
2006
13 years 7 months ago
2006
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
IJNSEC
2006
13 years 7 months ago
2006
An identity-based signcryption scheme with (t, n) shared unsigncryption is proposed, which is the integration of the signcryption scheme, the (t, n) threshold scheme and zero know...
JODS
2007
13 years 7 months ago
2007
This paper describes a theoretical framework for inducing knowledge from incomplete data sets. The general framework can be used with any formalism based on a lattice structure. It...
MOBIHOC
2009
ACM
14 years 8 months ago
2009
ACM
Finding data items is one of the most basic services of any distributed system. It is particular challenging in ad-hoc networks, due to their inherent decentralized nature and lac...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Visual sensors provide exclusively uncertain and partial knowledge of a scene. In this article, we present a suitable scene knowledge representation that makes integration and fusi...