2920 search results - page 315 / 584 » Finite information logic |
194
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
186
click to vote
IJIS
2007
15 years 6 months ago
2007
Algorithms for clustering web search results have to be efficient and robust. Furthermore they must be able to cluster a dataset without using any kind of a priori information, s...
164
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
177
click to vote
CAI
1999
Springer
15 years 6 months ago
1999
Springer
: Context is the challenge for the coming years in Artificial Intelligence. In the companion paper [8], we present the main results of discussions at two workshops and at the first...
210
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...