Sciweavers

5093 search results - page 41 / 1019
» How Real are Real Numbers
Sort
View
ADCM
2004
59views more  ADCM 2004»
13 years 7 months ago
Strictly Positive Definite Functions on a Real Inner Product Space
If f(t) = k=0 aktk converges for all t IR with all coefficients ak 0, then the function f(< x, y >) is positive definite on H
Allan Pinkus
TSMC
2008
162views more  TSMC 2008»
13 years 7 months ago
Real-Time Motion Segmentation of Sparse Feature Points at Any Speed
Abstract--We present a real-time incremental approach to motion segmentation operating on sparse feature points. In contrast to previous work, the algorithm allows for a variable n...
Shrinivas J. Pundlik, Stanley T. Birchfield
FMOODS
2007
13 years 9 months ago
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
Peter Csaba Ölveczky, Stian Thorvaldsen
IIE
2007
75views more  IIE 2007»
13 years 7 months ago
Program and Evaluation Planning Light: Planning in the Real World
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...
Justus J. Randolph, Pasi J. Eronen
WORDS
2002
IEEE
14 years 16 days ago
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings