Sciweavers

513 search results - page 49 / 103
» Efficient search for association rules
Sort
View
CORR
2002
Springer
81views Education» more  CORR 2002»
14 years 9 months ago
Value withdrawal explanations: a theoretical tool for programming environments
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
Willy Lesaint
TYPES
1999
Springer
15 years 2 months ago
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
David Delahaye
ICMCS
2007
IEEE
195views Multimedia» more  ICMCS 2007»
15 years 4 months ago
Robust People Detection and Tracking in a Multi-Camera Indoor Visual Surveillance System
In this paper we describe the analysis component of an indoor, real-time, multi-camera surveillance system. The analysis includes: (1) a novel feature-level foreground segmentatio...
Tao Yang, Francine Chen, Don Kimber, Jim Vaughan
DASFAA
2005
IEEE
166views Database» more  DASFAA 2005»
15 years 3 months ago
NNF: An Effective Approach in Medicine Paring Analysis of Traditional Chinese Medicine Prescriptions
Medicine Paring Analysis is one of the most important tasks in the research of Traditional Chinese Medicine Prescriptions. The most essential and difficult step is to mine associat...
Chuan Li, Changjie Tang, Jing Peng, Jianjun Hu, Yo...
DSS
2007
226views more  DSS 2007»
14 years 9 months ago
Dare to share: Protecting sensitive knowledge with data sanitization
chool of Business Research – FY 2007 Research Abstracts Dare to Share: Protecting Sensitive Knowledge with Data Sanitization Data sanitization is a process that is used to promot...
Ali Amiri