972 search results - page 100 / 195 » Reasoning with Conditional Time-Intervals |
100
click to vote
LICS
1990
IEEE
15 years 6 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...
139
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
125
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s sh...
139
click to vote
EWCBR
2006
Springer
15 years 6 months ago
2006
Springer
Feature selection algorithms can reduce the high dimensionality of textual cases and increase case-based task performance. However, conventional algorithms (e.g., information gain)...
119
click to vote
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...