Sciweavers

1187 search results - page 87 / 238
» Graph-Based Procedural Abstraction
Sort
View
ESANN
2003
14 years 11 months ago
A Fuzzy ARTMAP Probability Estimator with Relevance Factor
Abstract. An incremental, nonparametric probability estimation procedure using a variation of the Fuzzy ARTMAP (FAM) neural network is introduced. The resulted network, called Fuzz...
Razvan Andonie, Lucian Sasu
WCE
2007
14 years 11 months ago
Recursive Linear Estimation for Doubly Stochastic Poisson Processes
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...
Rosa M. Fernández-Alcalá, Jesú...
CSL
2010
Springer
14 years 11 months ago
A Sequent Calculus with Implicit Term Representation
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...
Stefan Hetzl
CSL
2010
Springer
14 years 11 months ago
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
Damien Pous
CORR
2008
Springer
53views Education» more  CORR 2008»
14 years 10 months ago
An ESPRIT-based approach for Initial Ranging in OFDMA systems
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...
Luca Sanguinetti, Michele Morelli, H. Vincent Poor