436 search results - page 77 / 88 » Lightweight Rule Induction |
KDD
2002
ACM
14 years 10 months ago
2002
ACM
A method is described for real-time market intelligence and competitive analysis. News stories are collected online for a designated group of companies. The goal is to detect crit...
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
WACV
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we present a system for multi-pose face detection. Our system presents three main contributions. First, we introduce the use of asymmetric Haar features. Asymmetric ...
ICAC
2006
IEEE
14 years 3 months ago
2006
IEEE
— As Internet worms become ever faster and more sophisticated, it is important to be able to extract worm signatures in an accurate and timely manner. In this paper, we apply mac...