12774 search results - page 215 / 2555 » A Framework for Proof Systems |
194
click to vote
ESWA
2007
15 years 6 months ago
2007
In this paper it is presented our contribution for carrying out adaptive and intelligent Web-based Education Systems (WBES) that take into account the individual student learning ...
176
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Least-squares estimation has always been the main approach when applying prediction error methods (PEM) in the identification of linear dynamical systems. Regardless of the estim...
215
click to vote
ANSS
2006
IEEE
16 years 20 days ago
2006
IEEE
Anomaly detection systems largely depend on user profile data to be able to detect deviation from normal activity. Most of this profile data is based on commands executed by use...
190
click to vote
ENTCS
2006
15 years 6 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
222
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Voluntary Computing systems or Desktop Grids (DGs) enable sharing of commodity computing resources across the globe and have gained tremendous popularity among scientific research...