5550 search results - page 1030 / 1110 » Different Approaches to Proof Systems |
155
click to vote
EJASP
2010
15 years 1 months ago
2010
Abstract--We present an application of a modified KalmanFilter (KF) framework for data fusion to the estimation of respiratory rate from multiple physiological sources which is rob...
186
click to vote
Publication
Tracking heart motion plays an essential role in the diagnosis of cardiovascular diseases. As such, accurate characterization of dynamic behavior of the left ventricle (LV) is esse...
196
click to vote
ICDCS
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—Modern day enterprises have a large IT infrastructure comprising thousands of applications running on servers housed in tens of data centers geographically spread out. T...
191
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
We present and empirically analyze a machine-learning approach for detecting intrusions on individual computers. Our Winnowbased algorithm continually monitors user and system beh...
191
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...