1368 search results - page 153 / 274 » Personality-Based Practical Reasoning |
121
click to vote
ICANNGA
2007
Springer
15 years 5 months ago
2007
Springer
Significant improvement over a patented lens design is achieved using multi-objective evolutionary optimization. A comparison of the results obtained from NSGA2 and ε-MOEA is done...
109
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
114
click to vote
CLIMA
2007
15 years 4 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
115
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Although the house call a decade ago was declared a vanishing practice, statistics show an upwelling of home visits by physicians, in the developed countries, during the last ten y...
106
click to vote
EUSFLAT
2007
15 years 4 months ago
2007
Fuzzy arithmetic is a powerful tool in many engineering problems such as decision making, control theory, fuzzy systems and approximate reasoning. However, it is well known that t...