Sciweavers

3768 search results - page 82 / 754
» Knowledge and Information in Probabilistic Systems
Sort
View
JAIR
2011
133views more  JAIR 2011»
15 years 1 months ago
A Probabilistic Approach for Maintaining Trust Based on Evidence
Leading agent-based trust models address two important needs. First, they show how an agent may estimate the trustworthiness of another agent based on prior interactions. Second, ...
Yonghong Wang, Chung-Wei Hang, Munindar P. Singh
ICIS
2004
15 years 7 months ago
Desperately Seeking Systems Thinking in the Information Systems Discipline
Although called systems, information systems in organizations are often viewed as tools that "users" use. IS success is often gauged as though it were about acceptance a...
Steven Alter
CCS
2004
ACM
15 years 11 months ago
Formally verifying information flow type systems for concurrent and thread systems
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
Gilles Barthe, Leonor Prensa Nieto
ICAIL
1999
ACM
15 years 10 months ago
Knowledge criteria for the evaluation of legal beliefs
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...
Laurens Mommers, H. Jaap van den Herik
WWW
2004
ACM
16 years 6 months ago
Choosing the best knowledge base system for large semantic web applications
We present an evaluation of four knowledge base systems with respect to use in large Semantic Web applications. We discuss the performance of each system. In particular, we show t...
Yuanbo Guo, Zhengxiang Pan, Jeff Heflin