2012 search results - page 6 / 403 » CORAL - Control, Relations and Logic |
RSCTC
1998
Springer
15 years 4 months ago
1998
Springer
110
Voted
EUSFLAT
2009
14 years 10 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 ...
FOSSACS
2007
Springer
15 years 6 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...
148
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...
113
click to vote
EUSFLAT
2009
14 years 10 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...