6020 search results - page 24 / 1204 » A New Approach to Model Counting |
123
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper proposes a novel two-stage optimization method for robust Model Predictive Control (RMPC) with Gaussian disturbance and state estimation error. Since the dis...
118
click to vote
MSV
2007
15 years 3 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
130
click to vote
CEAS
2006
Springer
15 years 5 months ago
2006
Springer
Motivated by current efforts to construct more realistic spam filtering experimental corpora, we present a newly assembled, publicly available corpus of genuine and unsolicited (s...
102
click to vote
JECR
2000
15 years 1 months ago
2000
In recent years, customers' demands on financial services have changed significantly and the number of customers who engage in electronic commerce for financial transactions ...
BMCBI
2004
15 years 1 months ago
2004
Background: Allelic-loss studies record data on the loss of genetic material in tumor tissue relative to normal tissue at various loci along the genome. As the deletion of a tumor...