3020 search results - page 528 / 604 » Type Analysis of Prolog Using Type Graphs |
117
Voted
WINE
2009
Springer
15 years 8 months ago
2009
Springer
We study the geometrical shape of the partitions of the input space created by the allocation rule of a truthful mechanism for multi-unit auctions with multidimensional types and ...
102
click to vote
FOCS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present the first constant-factor approximation algorithm for network design with multiple commodities and economies of scale. We consider the rent-or-buy problem, a type of m...
136
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
Many recommendation and retrieval tasks can be represented as proximity queries on a labeled directed graph, with typed nodes representing documents, terms, and metadata, and labe...
114
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
143
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Machine-learning tools have gained considerable attention during the last few years for analyzing biological networks for protein function prediction. Kernel methods a...