3690 search results - page 558 / 738 » Computation with classical sequents |
140
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...
134
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
140
click to vote
COLT
2005
Springer
15 years 11 months ago
2005
Springer
The problem of ranking, in which the goal is to learn a real-valued ranking function that induces a ranking or ordering over an instance space, has recently gained attention in mac...
140
click to vote
EMMCVPR
2005
Springer
2005
Springer
Exploiting Inference for Approximate Parameter Learning in Discriminative Fields: An Empirical Study
15 years 11 months ago
Abstract. Estimation of parameters of random field models from labeled training data is crucial for their good performance in many image analysis applications. In this paper, we p...
163
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...