1421 search results - page 69 / 285 » The First and Second Max-SAT Evaluations |
CPAIOR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper furthers the recent investigation of search heuristics based on solution counting information, by proposing and evaluating algorithms to compute solution densi...
GPC
2007
Springer
13 years 9 months ago
2007
Springer
This paper describes a Global Computing (GC) environment, called XtremWeb-CH (XWCH). XWCH is an improved version of a GC tool called XtremWeb (XW). XWCH tries to enrich XW in orde...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a new semantic relatedness measure on semantic networks (SN) that uses both hierarchical and non-hierarchical relations. Our approach relies on two as...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
A fundamental problem related to graph structured databases is searching for substructures. One issue with respect to optimizing such searches is the ability to estimate the freque...
ADMI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...