1585 search results - page 245 / 317 » A framework for computer-aided validation |
120
Voted
KDD
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we propose and develop a novel approach to the problem of optimally managing the tax, and more generally debt, collections processes at financial institutions. Our...
104
Voted
HT
2007
ACM
15 years 7 months ago
2007
ACM
Web pages can be modeled as nodes in a social network, and hyperlinks between pages form links (relationships) between the nodes. Links may take the form of comments, for example ...
145
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Such a skeleton ...
148
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The Agent-Community-based Peer-to-Peer Information Retrieval (ACP2P) method uses agent communities to manage and look up information of interest to users. An agent works as a dele...
112
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we examine the problem of choosing discriminatory prices for customers with probabilistic valuations and a seller with indistinguishable copies of a good. ...