Sciweavers

3005 search results - page 295 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
CAISE
1999
Springer
15 years 11 months ago
A Multilevel Secure Workflow Management System
The Department of Defense (DoD) needs multilevel secure (MLS) workflow management systems to enable globally distributed users and applications to cooperate across classification l...
Myong H. Kang, Judith N. Froscher, Amit P. Sheth, ...
EKAW
1999
Springer
15 years 11 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen
ICDAR
2003
IEEE
16 years 1 days ago
A Constraint-based Approach to Table Structure Derivation
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
Matthew Hurst
ICDIM
2010
IEEE
15 years 4 months ago
Digital solutions for inference rules in decision-supporting systems
In this paper, we discuss the use of digital circuits in decision support systems. For this, it is first necessary to translate the descriptions of situations and conclusions whic...
Erika Matsak, Peeter Lorents
WEBI
2007
Springer
16 years 26 days ago
Knowledge Retrieval (KR)
With the ever-increasing growth of data and information, finding the right knowledge becomes a real challenge and an urgent task. Traditional data and information retrieval syste...
Yiyu Yao, Yi Zeng, Ning Zhong, Xiangji Huang