4107 search results - page 182 / 822 » The Generalized Lambda Test |
134
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
The paper presents a highly optimized implementation of a multifrontal solver for linear systems arising in the FEM simulation of multi-physics problems related to the behaviour of...
155
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
We propose a general methodology for approximating the Pareto front of multi-criteria optimization problems. Our search-based methodology consists of submitting queries to a constr...
166
click to vote
ATAL
1999
Springer
15 years 10 months ago
1999
Springer
We propose a methodology that can be used to compare and evaluate Artificial Intelligence architectures and is motivated by fundamental properties required by general intelligent ...
184
click to vote
PRICAI
1998
Springer
15 years 10 months ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
166
click to vote
PPSN
1994
Springer
15 years 10 months ago
1994
Springer
A general model for the coevolution of cooperating species is presented. This model is instantiated and tested in the domain of function optimization, and compared with a tradition...