2012 search results - page 6 / 403 » CORAL - Control, Relations and Logic |
108
Voted
RSCTC
1998
Springer
15 years 8 months ago
1998
Springer
146
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
This paper demonstrates that several known sequence kernels can be expressed in a unified framework in which the position specificity is modeled by fuzzy equivalence relations. In ...
134
Voted
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
191
Voted
POPL
2012
ACM
13 years 11 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...
152
Voted
EUSFLAT
2009
15 years 1 months ago
2009
In this paper, line search based on Sequential Quadratic Programming is implemented in order to find a solution to Fuzzy Relation Equations. Sequential Quadratic Programming is a g...