Sciweavers

3907 search results - page 87 / 782
» Time, Knowledge, and Choice
Sort
View
IUI
2000
ACM
15 years 8 months ago
User studies of an interdependency-based interface for acquiring problem-solving knowledge
This paper describes a series of experiments with a range of users to evaluate an intelligent interface for acquiring problem-solving knowledge to describe how to accomplish a tas...
Jihie Kim, Yolanda Gil
VLDB
1993
ACM
121views Database» more  VLDB 1993»
15 years 8 months ago
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
Dimitris Plexousakis
DLOG
2007
15 years 6 months ago
Contextualization of a DL Knowledge Base
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...
ASIAN
2009
Springer
334views Algorithms» more  ASIAN 2009»
15 years 5 months ago
A Dolev-Yao Model for Zero Knowledge
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
WWW
2011
ACM
14 years 11 months ago
Scalable spatio-temporal knowledge harvesting
Knowledge harvesting enables the automated construction of large knowledge bases. In this work, we made a first attempt to harvest spatio-temporal knowledge from news archives to...
Yafang Wang, Bin Yang 0002, Spyros Zoupanos, Marc ...