3353 search results - page 279 / 671 » Laver and set theory |
165
click to vote
ILP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper is concerned with generalization issues for a decision tree learner for structured data called Alkemy. Motivated by error bounds established in statistical lea...
157
click to vote
COMPGEOM
2004
ACM
16 years 2 days ago
2004
ACM
Given a set P of n points in convex position in the plane, we prove that there exists a point p ∈ P such that the number of distinct distances from p is at least (13n−6)/36 . ...
166
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose a probabilistic algorithm able to detect the curves that are unexpectedy smooth in a set of digital curves. The only parameter is a false alarme rate, influencing the ...
177
click to vote
ERCIMDL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
154
click to vote
CADE
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...