6020 search results - page 584 / 1204 » A New Approach to Model Counting |
184
click to vote
WOA
2007
15 years 8 months ago
2007
—Reasoning by interrogation is one of the most ancient and experimented ways of reasoning. Originated by the Aristotelian elenchus, it has been used for many purposes, such as th...
157
click to vote
CSDA
2006
15 years 7 months ago
2006
A recently proposed Bayesian multiscale tool for exploratory analysis of time series data is reconsidered and umerous important improvements are suggested. The improvements are in...
198
click to vote
CSDA
2006
15 years 7 months ago
2006
The assessment of the influence of individual observations on the outcome of the analysis by perturbation has received a lot of attention for situations in which the observations ...
203
click to vote
JSW
2007
15 years 7 months ago
2007
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...
194
click to vote
PAMI
2002
15 years 6 months ago
2002
Factorization algorithms for recovering structure and motion from an image stream have many advantages, but they usually require a set of well tracked features. Such a set is in g...