2634 search results - page 140 / 527 » Faster Than Uppaal |
CP
2007
Springer
14 years 4 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
ECML
2007
Springer
14 years 4 months ago
2007
Springer
We discuss how to learn non-recursive directed probabilistic logical models from relational data. This problem has been tackled before by upgrading the structure-search algorithm i...
EDUTAINMENT
2007
Springer
14 years 4 months ago
2007
Springer
Due to the high-dimensionality of motion captured data which resulted in the complexity in motion analysis, a method of motion data processing based on manifold learning was propos...
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
In a preliminary part of this paper, we analyze the necessity of randomness in evolution strategies. We conclude to the necessity of ”continuous”-randomness, but with a much m...
ICA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper, a new algorithm for source recovery in underdetermined Sparse Component Analysis (SCA) or atomic decomposition on over-complete dictionaries is presented i...