854 search results - page 165 / 171 » Addressing Dynamic Issues of Program Model Checking |
114
click to vote
CCE
2007
14 years 11 months ago
2007
This paper presents a systematic approach based on robust statistical techniques for development of a data-driven soft sensor, which is an important component of the process analy...
100
click to vote
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
115
click to vote
VRML
2004
ACM
15 years 5 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
100
click to vote
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
116
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...