Sciweavers

1548 search results - page 179 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
CORR
2007
Springer
114views Education» more  CORR 2007»
13 years 10 months ago
SWI-Prolog and the Web
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
Jan Wielemaker, Zhisheng Huang, Lourens van der Me...
PRL
2006
119views more  PRL 2006»
13 years 10 months ago
Exploring the use of latent topical information for statistical Chinese spoken document retrieval
Information retrieval which aims to provide people with easy access to all kinds of information is now becoming more and more emphasized. However, most approaches to information r...
Berlin Chen
CJ
2004
105views more  CJ 2004»
13 years 10 months ago
Generalized Template Splay: A Basic Theory and Calculus
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
George F. Georgakopoulos, David J. McClurkin
CORR
2002
Springer
132views Education» more  CORR 2002»
13 years 10 months ago
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
Sarit Kraus, Daniel J. Lehmann, Menachem Magidor
CORR
2002
Springer
74views Education» more  CORR 2002»
13 years 10 months ago
A logical reconstruction of SPKI
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
Joseph Y. Halpern, Ron van der Meyden