Sciweavers

1128 search results - page 122 / 226
» Classical Natural Deduction
Sort
View
IJCAI
2003
15 years 2 months ago
Recycling Computed Answers in Rewrite Systems for Abduction
In rule-based systems, goal-oriented computations correspond naturally to the possible ways that an observation may be explained. In some applications, we need to compute explanat...
Fangzhen Lin, Jia-Huai You
112
Voted
WSCG
2004
137views more  WSCG 2004»
15 years 2 months ago
Fractal Image Compression for Efficient Texture Mapping
Texture mapping has traditionally been used to add visual realism to computer graphics images. In the paper we propose an alternative technique for image texture handling. We use ...
Jerzy Stachera, Slawomir S. Nikiel
NIPS
2003
15 years 2 months ago
PAC-Bayesian Generic Chaining
There exist many different generalization error bounds for classification. Each of these bounds contains an improvement over the others for certain situations. Our goal is to com...
Jean-Yves Audibert, Olivier Bousquet
151
Voted
NIPS
2003
15 years 2 months ago
Learning a Rare Event Detection Cascade by Direct Feature Selection
Face detection is a canonical example of a rare event detection problem, in which target patterns occur with much lower frequency than nontargets. Out of millions of face-sized wi...
Jianxin Wu, James M. Rehg, Matthew D. Mullin
COLING
1992
15 years 1 months ago
A Feature-Based Model For Lexical Databases
-- To date, no fully suitable data model for lexical databases has been proposed. As lexical databases have proliferated in multiple formats, there has been growing concern over th...
Jean Véronis, Nancy Ide