1008 search results - page 87 / 202 » Canonicity! |
113
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and ...
153
click to vote
AUTOMATICA
2011
14 years 10 months ago
2011
It is shown that, for any time-invariant exponentially stable linear system with additive disturbances, time-varying exponentially stable interval observers can be constructed. Th...
126
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper investigates the problem of causal observability of the states and unknown inputs of nonlinear time-delay systems. Using the theory of non-commutative rings, the nonline...
145
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Anisotropic decompositions using representation systems such as curvelets, contourlet, or shearlets have recently attracted significantly increased attention due to the fact that...
143
click to vote
JAPLL
2010
14 years 10 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...