2278 search results - page 122 / 456 » Specification Techniques for Automatic Performance Analysis ... |
ENVSOFT
2008
14 years 11 months ago
2008
Many impact studies require climate change information at a finer resolution than that provided by Global Climate Models (GCMs). In the last 10 years, downscaling techniques, both...
SAS
2010
Springer
14 years 10 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
101
click to vote
ENTCS
2006
14 years 11 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
ICIP
2005
IEEE
15 years 5 months ago
2005
IEEE
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...
AIED
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we discuss how Artificial Intelligence (AI) techniques might be brought to bear in automatically recognizing “creative reasoning” in student e-discussions. An AI...