3116 search results - page 209 / 624 » Positively dependent types |
148
Voted
DAGSTUHL
2001
15 years 6 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
157
click to vote
IJCAI
2001
15 years 6 months ago
2001
We present a new approach to inferring a probability distribution which is incompletely specified by a number of linear constraints. We argue that the currently most popular appro...
138
click to vote
NIPS
2003
15 years 6 months ago
2003
The decision functions constructed by support vector machines (SVM’s) usually depend only on a subset of the training set—the so-called support vectors. We derive asymptotical...
145
click to vote
ICMAS
1998
15 years 6 months ago
1998
To be successful in open, multi-agent environments, autonomous agents must be capable of adapting their negotiation strategies and tactics to their prevailing circumstances. To th...
116
Voted
ACS
2010
15 years 5 months ago
2010
Essentiality is an important notion closely related to injectivity. Depending on a class M of morphisms of a category A, three different types of essentiality are considered in lit...