1187 search results - page 87 / 238 » Graph-Based Procedural Abstraction |
96
Voted
ESANN
2003
15 years 3 months ago
2003
Abstract. An incremental, nonparametric probability estimation procedure using a variation of the Fuzzy ARTMAP (FAM) neural network is introduced. The resulted network, called Fuzz...
131
click to vote
WCE
2007
15 years 2 months ago
2007
Abstract— The problem of estimating the intensity process of a doubly stochastic Poisson process is analyzed. Using covariance information, a recursive linear minimum mean-square...
110
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
103
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
35
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract--In this letter, an initial ranging scheme for orthogonal frequency-division multiple-access systems is proposed by which users that intend to establish a communication li...