Sciweavers

642 search results - page 45 / 129
» corr 2006
Sort
View
CORR
2006
Springer
78views Education» more  CORR 2006»
15 years 6 months ago
On the Fading Number of Multiple-Input Single-Output Fading Channels with Memory
We derive new upper and lower bounds on the fading number of multiple-input single-output (MISO) fading channels of general (not necessarily Gaussian) regular law with spatial and ...
Stefan M. Moser
CORR
2006
Springer
117views Education» more  CORR 2006»
15 years 6 months ago
A comparison between two logical formalisms for rewriting
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
Miguel Palomino
CORR
2006
Springer
100views Education» more  CORR 2006»
15 years 6 months ago
Minimizing Symmetric Set Functions Faster
We describe a combinatorial algorithm which, given a monotone and consistent symmetric set function d on a finite set V in the sense of Rizzi [Riz00], constructs a non trivial set...
Michael Brinkmeier
CORR
2006
Springer
88views Education» more  CORR 2006»
15 years 6 months ago
Polynomial Time Nondimensionalisation of Ordinary Differential Equations via their Lie Point Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equation. ...
Evelyne Hubert, Alexandre Sedoglavic
CORR
2006
Springer
98views Education» more  CORR 2006»
15 years 6 months ago
A Formal Measure of Machine Intelligence
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems whic...
Shane Legg, Marcus Hutter