2465 search results - page 293 / 493 » Automata on Linear Orderings |
153
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
Abstract- We investigate the functions of given approximation order L that have the smallest support. Those are shown to be linear combinations of the Bspline of degree .L - 1 and ...
157
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a novel split and merge based method for dividing a given metric map into distinct regions, thus effectively creating a topological map on top of a metric one. The init...
177
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
We describe the use of truncated multipolar expansions for producing dynamic images of cortical neural activation from measurements of the magnetoencephalogram. We use a signal-sub...
162
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We consider support vector machines for binary classification. As opposed to most approaches we use the number of support vectors (the "L0 norm") as a regularizing term ...
190
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...