Sciweavers

6456 search results - page 385 / 1292
» Constraint Solving on Terms
Sort
View
WSC
2007
15 years 9 months ago
Kriging metamodeling in constrained simulation optimization: an explorative study
This paper describes two experiments exploring the potential of the Kriging methodology for constrained simulation optimization. Both experiments study an (s, S) inventory system ...
William E. Biles, Jack P. C. Kleijnen, Wim C. M. V...
AMDO
2008
Springer
15 years 8 months ago
Inverse Kinematics Using Sequential Monte Carlo Methods
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...
Nicolas Courty, Elise Arnaud
FOIKS
2008
Springer
15 years 8 months ago
Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory
We present a method for decomposing a hypergraph with certain regularities into smaller hypergraphs. By applying this to the set of all canonical covers of a given set of functiona...
Henning Köhler
EDM
2008
141views Data Mining» more  EDM 2008»
15 years 8 months ago
Acquiring Background Knowledge for Intelligent Tutoring Systems
One of the unresolved problems faced in the construction of intelligent tutoring systems is the acquisition of background knowledge, either for the specification of the teaching st...
Cláudia Antunes
EMNLP
2008
15 years 8 months ago
Attacking Decipherment Problems Optimally with Low-Order N-gram Models
We introduce a method for solving substitution ciphers using low-order letter n-gram models. This method enforces global constraints using integer programming, and it guarantees t...
Sujith Ravi, Kevin Knight