6020 search results - page 482 / 1204 » A New Approach to Model Counting |
209
click to vote
PDP
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
192
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
220
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
236
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we address the problem of creating believable agents (virtual characters) in video games. We consider only one meaning of believability, "giving the feeling of...
183
click to vote
CVIU
2010
15 years 7 months ago
2010
Bio-inspired vision sensors are particularly appropriate candidates for navigation of vehicles or mobile robots due to their computational simplicity, allowing compact hardware im...