2302 search results - page 166 / 461 » Testing as Abstraction |
232
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
194
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. There is a growing trend toward emotional intelligence in humancomputer interaction paradigms. In order to react appropriately to a human, the computer would need to have...
207
click to vote
ICBA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...
175
click to vote
IDEAL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
150
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. To improve the efficiency of the currently known evolutionary algorithms, we have proposed two complementary efficiency speed-up strategies in our previous research work ...