1140 search results - page 172 / 228 » Progress on Certifying Algorithms |
138
Voted
DMDW
2003
15 years 2 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
112
click to vote
IJCAI
2001
15 years 2 months ago
2001
New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas et al. (AAAI 2000) introduc...
84
Voted
WORM
2004
15 years 1 months ago
2004
Modern society is highly dependent on the smooth and safe flow of information over communication and computer networks. Computer viruses and worms pose serious threats to the soci...
118
Voted
NIPS
2003
15 years 1 months ago
2003
Label ranking is the task of inferring a total order over a predefined set of labels for each given instance. We present a general framework for batch learning of label ranking f...
104
Voted
AAAI
1998
15 years 1 months ago
1998
We present an approach for optimizing the performance of information agents by materializing useful information . A critical problem with information agents, particularly those ga...