478 search results - page 62 / 96 » Monads of Regular Theories |
102
Voted
CORR
2006
Springer
15 years 16 days ago
2006
Springer
We consider a hybrid wireless sensor network with regular and transmit-only sensors. The transmit-only sensors do not have receiver circuit, hence are cheaper and less energy consu...
112
Voted
SIAMJO
2002
15 years 4 days ago
2002
A linear program has a unique least 2-norm solution provided that the linear program has a solution. To locate this solution, most of the existing methods were devised to solve cer...
121
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We propose and analyze an extremely fast, efficient and simple method for solving the problem: min{ u 1 :Au=f,u∈Rn }. This method was first described in [1], with more details i...
79
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
The concept of effective complexity of an object as the minimal description length of its regularities has been initiated by Gell-Mann and Lloyd. The regularities are modeled by m...
137
click to vote
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...