6704 search results - page 414 / 1341 » Testing Scenario-Based Models |
160
click to vote
IAT
2006
IEEE
16 years 27 days ago
2006
IEEE
We present a universal mechanism that can be combined with existing trust models to extend their capabilities towards efficient modelling of the situational (contextdependent) tr...
170
click to vote
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
182
click to vote
ACCV
2006
Springer
16 years 25 days ago
2006
Springer
Abstract. To develop statistical models for shapes, we utilize an elastic string representation where curves (denoting shapes) can bend and locally stretch (or compress) to optimal...
170
click to vote
CEC
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents a study on Hierarchical Surrogate-Assisted Evolutionary Algorithm (HSAEA) using different global surrogate models for solving computationally expensive optimiza...
175
click to vote
AIED
2005
Springer
16 years 12 days ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...