666 search results - page 51 / 134 » A Persistent Hyper-Programming System |
AUTOMATICA
2005
13 years 10 months ago
2005
We study the stability properties of a class of time-varying nonlinear systems. We assume that non-strict input-to-state stable (ISS) Lyapunov functions for our systems are given ...
GCC
2004
Springer
14 years 3 months ago
2004
Springer
Medical image reconstruction remains a topic of interest to medical researchers. Although the algorithms have become more mature, one particular challenge has persisted over the de...
AUTOMATICA
2007
13 years 10 months ago
2007
In this paper active mode observability is addressed for a class of discrete-time linear systems that may switch in an unknown and unpredictable way among different modes taken f...
SLOGICA
2002
13 years 10 months ago
2002
In [Sas01], it was given a cut-free sequent system for the smallest interpretability logic IL. He first gave a cut-free system for IK4, a sublogic of IL, whose -free fragment is th...
MOBILWARE
2009
ACM
14 years 4 months ago
2009
ACM
Abstract. In this paper, we present Chapar, an event system designed for mobile ad hoc networks that supports the publish-subscribe model as well as pointto-point and point-to-mult...