12289 search results - page 704 / 2458 » computing 2006 |
152
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
Inter-block backtracking (IBB) computes all the solutions of sparse systems of non-linear equations over the reals. This algorithm, introduced in 1998 by Bliek et al., handles a sy...
177
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Minimally unsatisfiable subformulas (in short, MUSes) represent the smallest explanations for the inconsistency of SAT instances in terms of the number of involved clauses. Extract...
208
click to vote
EMO
2006
Springer
15 years 11 months ago
2006
Springer
The multi-objective covariance matrix adaptation evolution strategy (MO-CMA-ES) combines a mutation operator that adapts its search distribution to the underlying optimization prob...
175
click to vote
EPEW
2006
Springer
15 years 11 months ago
2006
Springer
We propose new techniques to simplify the computation of the cycle times and the absorption times for a large class of PEPA models. These techniques allow us to simplify the model ...
187
click to vote
ER
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a design method for user interfaces based on some ideas from conversation analysis. The method uses interaction diagram and it is conceived to design all flow ...