Sciweavers

16218 search results - page 254 / 3244
» Standards
Sort
View
MSV
2004
15 years 8 months ago
An Effective QBF Solver for Planning Problems
A large number of applications can be represented by quantified Boolean formulas (QBF). Although evaluating QBF is NP-hard and thus very difficult, there has been significant progr...
Charles Otwell, Anja Remshagen, Klaus Truemper
WSC
2004
15 years 8 months ago
Overlapping Variance Estimators for Simulations
We examine properties of overlapped versions of the standardized time series area and Cram
Christos Alexopoulos, David Goldsman, Nilay Tanik ...
UAI
2003
15 years 8 months ago
On Triangulating Dynamic Graphical Models
This paper introduces improved methodology to triangulate dynamic graphical models and dynamic Bayesian networks (DBNs). In this approach, a standard DBN template can be modified...
Jeff A. Bilmes, Chris Bartels
IJCAI
1997
15 years 8 months ago
Compiling Reasoning with and about Preferences into Default Logic
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
James P. Delgrande, Torsten Schaub
GECCO
2008
Springer
118views Optimization» more  GECCO 2008»
15 years 7 months ago
An analysis of multi-sampled issue and no-replacement tournament selection
Standard tournament selection samples individuals with replacement. The sampling-with-replacement strategy has its advantages but also has issues. One of the commonly recognised i...
Huayang Xie, Mengjie Zhang, Peter Andreae, Mark Jo...