Sciweavers

642 search results - page 45 / 129
» corr 2006
Sort
View
102
Voted
CORR
2006
Springer
78views Education» more  CORR 2006»
15 years 15 days 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
99
Voted
CORR
2006
Springer
117views Education» more  CORR 2006»
15 years 15 days 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 15 days 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
98
Voted
CORR
2006
Springer
88views Education» more  CORR 2006»
15 years 15 days 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
79
Voted
CORR
2006
Springer
98views Education» more  CORR 2006»
15 years 15 days 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