1982 search results - page 171 / 397 » Parametricity and dependent types |
169
click to vote
IC
2004
15 years 8 months ago
2004
The performance of a Web service is primarily dependent on the design and implementation of its SOAP toolkit. SOAP is widely implemented using HTTP as the transport protocol and X...
176
click to vote
DAGSTUHL
2001
15 years 8 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 ...
186
click to vote
IJCAI
2001
15 years 8 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...
160
click to vote
NIPS
2003
15 years 8 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...
175
click to vote
ICMAS
1998
15 years 8 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...