666 search results - page 51 / 134 » A Persistent Hyper-Programming System |
109
click to vote
AUTOMATICA
2005
15 years 2 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 ...
101
Voted
GCC
2004
Springer
15 years 7 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...
111
Voted
AUTOMATICA
2007
15 years 2 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...
89
Voted
SLOGICA
2002
15 years 1 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...
112
Voted
MOBILWARE
2009
ACM
15 years 8 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...