Sciweavers

1639 search results - page 152 / 328
» Anytime Heuristic Search
Sort
View
GI
2005
Springer
14 years 3 months ago
Delivering a Personalized Result Set by the Adaptation of Preference Queries
: Personalization includes the adaptation of database queries according to the user’s needs, wishes and situation. We examine the influence of the dparameter as powerful personal...
Sven Döring, Annette Eberle, Timotheus Preisi...
GECCO
2003
Springer
122views Optimization» more  GECCO 2003»
14 years 3 months ago
Designing A Hybrid Genetic Algorithm for the Linear Ordering Problem
The Linear Ordering Problem(LOP), which is a well-known NP-hard problem, has numerous applications in various fields. Using this problem as an example, we illustrate a general pro...
Gaofeng Huang, Andrew Lim
GECCO
2006
Springer
202views Optimization» more  GECCO 2006»
14 years 1 months ago
Human competitive security protocols synthesis
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
Hao Chen, John A. Clark, Jeremy Jacob
CL
2000
Springer
14 years 1 months ago
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
Tommi A. Junttila, Ilkka Niemelä
AAAI
2000
13 years 11 months ago
Multivariate Clustering by Dynamics
We present a Bayesian clustering algorithm for multivariate time series. A clustering is regarded as a probabilistic model in which the unknown auto-correlation structure of a tim...
Marco Ramoni, Paola Sebastiani, Paul R. Cohen