3934 search results - page 766 / 787 » Approximate Schedulability Analysis |
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
HUC
2009
Springer
13 years 10 months ago
2009
Springer
In 2007, approximately 30% of US adults were obese, with related health care costs exceeding 100 billion dollars. Clearly, the obesity epidemic represents a growing societal conce...
USENIX
2007
13 years 9 months ago
2007
Patches to modern operating systems, including bug fixes and security updates, and the reboots and downtime they require, cause tremendous problems for system users and administr...
AUSDM
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents an application of association rule mining in compliance in the context of health service management. There are approximately 500 million transactions processed...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Random projection (RP) is a common technique for dimensionality reduction under L2 norm for which many significant space embedding results have been demonstrated. However, many si...