Sciweavers

11397 search results - page 37 / 2280
» A Relational Abstraction for Functions
Sort
View
ICC
2007
IEEE
112views Communications» more  ICC 2007»
14 years 4 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»
13 years 11 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
13 years 11 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
14 years 10 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
14 years 1 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...