6020 search results - page 550 / 1204 » A New Approach to Model Counting |
134
click to vote
WSC
1997
15 years 8 months ago
1997
A new approach to simulation response optimization is presented that takes advantage of the ability to run simultaneous replications of different experimental factor settings in a...
175
click to vote
BIOINFORMATICS
2006
15 years 7 months ago
2006
Simulation and modeling is becoming one of the standard approaches to understand complex biochemical processes. Therefore, there is a big need for software tools that allow access...
163
click to vote
PRL
2008
15 years 7 months ago
2008
We consider an active learning game within a transductive learning model. A major problem with many active learning algorithms is that an unreliable current hypothesis can mislead...
165
click to vote
JOT
2007
15 years 7 months ago
2007
Using spreadsheets is the preferred method to calculate, display or store anything that fits into a table-like structure. They are often used by end users to create applications. ...
141
click to vote
EOR
2002
15 years 7 months ago
2002
We develop a multicriteria approach to the problem of space heating under a time varying price of electricity. In our dynamic goal programming model the goals are ideal temperatur...