Sciweavers

7311 search results - page 1198 / 1463
» Time in State Machines
Sort
View
FOCM
2010
108views more  FOCM 2010»
15 years 5 months ago
Parallelization Method for a Continuous Property
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
Pawel Pilarczyk
IEEECIT
2010
IEEE
15 years 5 months ago
A Recognizer of Rational Trace Languages
—The relevance of instruction parallelization and optimal event scheduling is currently increasing. In particular, because of the high amount of computational power available tod...
Federico Maggi
IJSNET
2010
122views more  IJSNET 2010»
15 years 5 months ago
Ensuring high sensor data quality through use of online outlier detection techniques
: Data collected by Wireless Sensor Networks (WSNs) are inherently unreliable. Therefore, to ensure high data quality, secure monitoring, and reliable detection of interesting and ...
Yang Zhang, Nirvana Meratnia, Paul J. M. Havinga
MIAR
2010
IEEE
15 years 5 months ago
Skin Lesions Classification with Optical Spectroscopy
Diagnosis of benign and malign skin lesions is currently mostly relying on visual assessment and frequent biopsies performed by dermatologists. As the timely and correct diagnosis ...
Asad Safi, Victor Castaneda, Tobias Lasser, Nassir...
MICCAI
2010
Springer
15 years 5 months ago
Sparse Bayesian Learning for Identifying Imaging Biomarkers in AD Prediction
Abstract. We apply sparse Bayesian learning methods, automatic relevance determination (ARD) and predictive ARD (PARD), to Alzheimer’s disease (AD) classification to make accura...
Li Shen, Yuan Qi, Sungeun Kim, Kwangsik Nho, Jing ...
« Prev « First page 1198 / 1463 Last » Next »