11484 search results - page 29 / 2297 » Modeling in the Large and Modeling in the Small |
SPAA
1998
ACM
14 years 10 days ago
1998
ACM
In this paper we develop models for and analyze several randomized work stealing algorithms in a dynamic setting. Our models represent the limiting behavior of systems as the numb...
WSC
2007
13 years 11 months ago
2007
Clinical trials constitute large, complex, and resource intensive activities for pharmaceutical companies. Accurate prediction of patient enrollment would represent a major step f...
AUTOMATICA
2007
13 years 8 months ago
2007
Partial enumeration (PE) is presented as a method for treating large, linear model predictive control applications that are out of reach with available MPC methods. PE uses both a...
ENTCS
2006
13 years 8 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
In some classification problems, like the detection of illnesses in patients, classes are very unbalanced and the misclassification costs for different classes vary significantly....