Sciweavers

8824 search results - page 64 / 1765
» On the Complexity of Real Functions
Sort
View
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
15 years 4 months ago
Stability and robustness conditions using frequency dependent half planes
— This paper presents a sufficient condition that establishes closed loop stability for linear time invariant dynamical systems with transfer functions that are analytic in the ...
Krister Jacobsson, Lachlan L. H. Andrew, Ao Tang
RTCSA
2009
IEEE
15 years 6 months ago
The Multi Supply Function Abstraction for Multiprocessors
Enrico Bini, Giorgio C. Buttazzo, Marko Bertogna
DM
1999
75views more  DM 1999»
14 years 11 months ago
Real and integer domination in graphs
For an arbitrary subset P of the reals, we define a function f: V P to be a Pdominating function of graph G = (V, E) if the sum of the function values over any
Wayne Goddard, Michael A. Henning
3DIM
2003
IEEE
15 years 5 months ago
Stable Real-Time Interaction Between Virtual Humans And Real Scenes
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
Luca Vacchetti, Vincent Lepetit, George Papagianna...
FM
1994
Springer
135views Formal Methods» more  FM 1994»
15 years 4 months ago
Adding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
Colin J. Fidge