Sciweavers

1140 search results - page 172 / 228
» Progress on Certifying Algorithms
Sort
View
DMDW
2003
269views Management» more  DMDW 2003»
13 years 11 months ago
CASME: A CASE Tool for Spatial Data Marts Design and Generation
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...
Hajer Baazaoui Zghal, Sami Faïz, Henda Hajjam...
IJCAI
2001
13 years 11 months ago
Balance and Filtering in Structured Satisfiable Problems
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...
Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas...
WORM
2004
13 years 11 months ago
ACT: attachment chain tracing scheme for email virus detection and control
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...
Jintao Xiong
NIPS
2003
13 years 11 months ago
Log-Linear Models for Label Ranking
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...
Ofer Dekel, Christopher D. Manning, Yoram Singer
AAAI
1998
13 years 11 months ago
Optimizing Information Agents by Selectively Materializing Data
We present an approach for optimizing the performance of information agents by materializing useful information . A critical problem with information agents, particularly those ga...
Naveen Ashish