2525 search results - page 143 / 505 » A Framework for Semantic Gossiping |
198
click to vote
ACOM
2006
Springer
16 years 28 days ago
2006
Springer
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
164
click to vote
ICCSA
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. In this paper a methodology and a framework for personalized views on data available on the World Wide Web are proposed. We describe its main two ingredients, Web data ex...
191
click to vote
TLCA
2005
Springer
16 years 12 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
175
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
We present a technique for automatic induction of slot annotations for subcategorization frames, based on induction of hidden classes in the EM framework of statistical estimation...
158
click to vote
CANS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a semantic extension to X.509 certificates that allows incorporating new anonymity signature schemes into the X.509 framework. This fact entails advantages to...