Sciweavers

11397 search results - page 37 / 2280
» A Relational Abstraction for Functions
Sort
View
ICC
2007
IEEE
112views Communications» more  ICC 2007»
15 years 12 months ago
Multiuser Interference Balancing for General Interference Functions - A Convergence Analysis
Abstract—We address the problem of maximizing the minimum signal-to-interference ratio (SIR) in a multiuser system. In the context of resource allocation, this is referred to as ...
Holger Boche, Martin Schubert
GECCO
2008
Springer
120views Optimization» more  GECCO 2008»
15 years 6 months ago
Genetic programming with polymorphic types and higher-order functions
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
Franck Binard, Amy P. Felty
ESOP
2008
Springer
15 years 7 months ago
Upper Adjoints for Fast Inter-procedural Variable Equalities
We present a polynomial-time algorithm which at the extra cost of a factor O(k) (k the number of variables) generalizes inter-procedural copy constant propagation. Our algorithm in...
Markus Müller-Olm, Helmut Seidl
IPMI
2009
Springer
16 years 6 months ago
Multimodal Functional Imaging Using fMRI-Informed Regional EEG/MEG Source Estimation
Abstract. We propose a novel method, fMRI-Informed Regional Estimation (FIRE), which utilizes information from fMRI in E/MEG source reconstruction. FIRE takes advantage of the spat...
Aapo Nummenmaa, Matti Hämäläinen, P...
CSR
2006
Springer
15 years 9 months ago
Conjugacy and Equivalence of Weighted Automata and Functional Transducers
We show that two equivalent K-automata are conjugate to a third one, when K is equal to B, N, Z, or any (skew) field and that the same holds true for functional tranducers as well....
Marie-Pierre Béal, Sylvain Lombardy, Jacque...