Sciweavers

1315 search results - page 127 / 263
» Discovering significant rules
Sort
View
OWLED
2007
15 years 6 months ago
Ontology Engineering for Product Development
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
Henson Graves
125
Voted
MMNS
2004
89views Multimedia» more  MMNS 2004»
15 years 6 months ago
Automated Validation of Service Configuration on Network Devices
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, R...
ICDE
2005
IEEE
118views Database» more  ICDE 2005»
16 years 6 months ago
Scrutinizing Frequent Pattern Discovery Performance
Benchmarking technical solutions is as important as the solutions themselves. Yet many fields still lack any type of rigorous evaluation. Performance benchmarking has always been ...
Mohammad El-Hajj, Osmar R. Zaïane, Stella Luk...
WWW
2009
ACM
16 years 5 months ago
Web-scale classification with naive bayes
Traditional Naive Bayes Classifier performs miserably on web-scale taxonomies. In this paper, we investigate the reasons behind such bad performance. We discover that the low perf...
Congle Zhang, Gui-Rong Xue, Yong Yu, Hongyuan Zha
123
Voted
CAV
2009
Springer
218views Hardware» more  CAV 2009»
16 years 5 months ago
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
Isil Dillig, Thomas Dillig, Alex Aiken