1716 search results - page 282 / 344 » Proving Conditional Termination |
96
Voted
AUTOMATICA
2008
15 years 28 days ago
2008
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
CORR
2010
Springer
15 years 27 days ago
2010
Springer
A pseudorandom point in an ergodic dynamical system over a computable metric space is a point which is computable but its dynamics has the same statistical behavior of a typical po...
77
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
We study a problem where wireless service providers compete for heterogenous and atomic (non-infinitesimal) wireless users. The users differ in their utility functions as well as ...
119
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
In a distributed space-time coding scheme, based on the relay channel model, the relay nodes co-operate to linearly process the transmitted signal from the source and forward them ...
100
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...