134 search results - page 27 / 27 » A Linear Logic of Authorization and Knowledge |
118
click to vote
KDD
2009
ACM
16 years 8 days ago
2009
ACM
When labeled examples are limited and difficult to obtain, transfer learning employs knowledge from a source domain to improve learning accuracy in the target domain. However, the...
RC
1998
14 years 11 months ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
107
click to vote
CADE
2005
Springer
16 years 19 hour ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
108
click to vote
ATAL
2010
Springer
15 years 25 days ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...