7785 search results - page 367 / 1557 » The Concept of Dynamic Analysis |
151
click to vote
GECCO
2005
Springer
16 years 14 days ago
2005
Springer
We present a theoretical analysis of Watson’s Hierarchicalif-and-only-if (HIFF) problem using a variety of tools. These include schema theory and course graining, the concept of...
169
click to vote
MLMI
2004
Springer
16 years 9 days ago
2004
Springer
Facial expression and hand gesture analysis plays a fundamental part in emotionally rich man-machine interaction (MMI) systems, since it employs universally accepted non-verbal cu...
186
click to vote
EAGC
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the support for user-defined metrics in the G-PM performance analysis tool. G-PM addresses the demand for aggressive optimisation of Grid applications by using ...
162
click to vote
ADAEUROPE
2003
Springer
15 years 10 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
147
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...