2780 search results - page 92 / 556 » Learning to Order Things |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...
124
click to vote
ICFCA
2005
Springer
15 years 5 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
104
click to vote
HT
2004
ACM
15 years 5 months ago
2004
ACM
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...
104
click to vote
AWIC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
ICVS
2003
Springer
15 years 5 months ago
2003
Springer
This paper shows how to construct a linear deformable model for graph structure by performing principal components analysis (PCA) on the vectorised adjacency matrix. We commence b...