18090 search results - page 135 / 3618 » Computing by Only Observing |
176
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
164
click to vote
CMSB
2003
Springer
15 years 11 months ago
2003
Springer
Metabolic flux estimation—the problem of finding out the rates of reactions in metabolic pathways—is an important problem area in the study of metabolism. The most accurate t...
158
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes an investigation of two computer models of how vowel systems can be transferred from one generation to the next. Humans tend to reduce the articulation of the ...
166
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper extends a state projection method for structure preserving model reduction to situations where only a weaker notion of system structure is available. This weaker not...
129
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
We propose a novel variant of the (1 + 1)-CMA-ES that updates the distribution of mutation vectors based on both successful and unsuccessful trial steps. The computational costs o...