3994 search results - page 92 / 799 » A Linear Logical Framework |
111
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
We discuss the relationship between the discriminative training of Gaussian models and the maximum entropy framework for log-linear models. Observing that linear transforms leave ...
84
Voted
CADE
2006
Springer
16 years 26 days ago
2006
Springer
CIA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
150
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
SP
2006
IEEE
15 years 6 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...