9370 search results - page 195 / 1874 » An Abstract Notion of Application |
171
click to vote
CONCUR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...
132
click to vote
CONTEXT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Because the notion of context is multi-disciplinary [17], it encompasses lots of issues in Information Retrieval. In this paper, we define the context as the information ...
125
click to vote
DEXA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present the notion of sequential association rule and introduce Sequential Nuggets of Knowledge as sequential association rules with possible low support and good qual...
223
click to vote
RSKT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper ap...
148
click to vote
RTA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...