Sciweavers

2576 search results - page 196 / 516
» The Complexity of Zero Knowledge
Sort
View
AAAI
2006
15 years 8 months ago
Forgetting and Conflict Resolving in Disjunctive Logic Programming
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
Thomas Eiter, Kewen Wang
AAAI
2006
15 years 8 months ago
Ontology Based Semantic Modeling for Chinese Ancient Architectures
Modeling complex architectures is quite challenging. We introduce a novel intelligent system, which can generate semi-style or semi-structure Chinese ancient architectures automat...
Yong Liu, Congfu Xu, Qiong Zhang, Yunhe Pan
DCEIS
2006
15 years 8 months ago
Genre and Ontology Based Business Information Architecture Framework (GOBIAF)
In this paper, we extrapolate findings of using the Genre and Ontology based Business Information Architecture Framework (GOBIAF) as a methodology to approach enterprise architect...
Turo Kilpeläinen
ICAI
2004
15 years 8 months ago
Inductive System Health Monitoring
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
David L. Iverson
DBSEC
2000
95views Database» more  DBSEC 2000»
15 years 8 months ago
Wrappers - a mechanism to support state-based authorisation in Web applications
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
Martin S. Olivier, Ehud Gudes