Sciweavers

705 search results - page 64 / 141
» System Diagnosability Analysis Using p-slop MAP
Sort
View
RTAS
2011
IEEE
14 years 1 months ago
End-to-End Delay Analysis for Fixed Priority Scheduling in WirelessHART Networks
—The WirelessHART standard has been specifically designed for real-time communication between sensor and actuator devices for industrial process monitoring and control. End-toen...
Abusayeed Saifullah, You Xu, Chenyang Lu, Yixin Ch...
FLAIRS
2003
14 years 11 months ago
ADEMA : A System to Help Physicians in the Asthma Health Care
Asthma is a distressing disease, affecting up to 7% of the French population and causing considerable morbidity and mortality. A medical decision support system such can help phys...
Icham Sefion, Abdel Ennaji, Marc Gailhardou
ICMCS
2006
IEEE
106views Multimedia» more  ICMCS 2006»
15 years 3 months ago
Scalability in Human Shape Analysis
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
Thomas Fourès, Philippe Joly
ARC
2009
Springer
188views Hardware» more  ARC 2009»
15 years 4 months ago
Word-Length Optimization and Error Analysis of a Multivariate Gaussian Random Number Generator
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...
Chalermpol Saiprasert, Christos-Savvas Bouganis, G...
CSL
2007
Springer
15 years 4 months ago
Focusing and Polarization in Intuitionistic Logic
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
Chuck Liang, Dale Miller