10916 search results - page 357 / 2184 » On Constructive Connectives and Systems |
174
click to vote
AUTOMATICA
2005
15 years 6 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 ...
154
click to vote
IJON
2002
15 years 6 months ago
2002
The otolith organs in the vestibular system are excellent detectors of linear accelerations. However, any measurement of linear acceleration is ambiguous between a tilt in a gravi...
163
click to vote
ISMVL
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
169
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
191
click to vote
FUIN
2008
15 years 7 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...