4103 search results - page 277 / 821 » Some results on the Collatz problem |
206
Voted
ESANN
1997
15 years 8 months ago
1997
I present various systems for the recognition of human faces. They consist of three steps: feature extraction, solving the correspondence problem, and the actual comparison with st...
204
click to vote
NIPS
2000
15 years 8 months ago
2000
We introduce a method of feature selection for Support Vector Machines. The method is based upon finding those features which minimize bounds on the leave-one-out error. This sear...
190
click to vote
FUIN
2008
15 years 6 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
155
Voted
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The decomposition theory of matroids initiated by Paul Seymour in the 1980's has had an enormous impact on research in matroid theory. This theory, when applied to matrices ov...
125
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...