7960 search results - page 241 / 1592 » Systems for Knowledge and Beliefs |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Educational media mining is the process of converting raw media data from educational systems to useful information that can be used to design learning systems, answer research qu...
WWW
2007
ACM
14 years 11 months ago
2007
ACM
Figures in digital documents contain important information. Current digital libraries do not summarize and index information available within figures for document retrieval. We pr...
TARK
2005
Springer
14 years 4 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
SCN
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We introduce and define the notion of identity-based zeroknowledge, concentrating on the non-interactive setting. In this setting, our notion allows any prover to widely...
FLAIRS
2001
14 years 8 days ago
2001
In this paper, we give an overview of a system (CAIMAN) that can facilitate the exchange of relevant documents between geographically dispersed people in Communities of Interest. ...