692 search results - page 12 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
105
click to vote
TC
1998
14 years 11 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
MICCAI
2002
Springer
16 years 19 days ago
2002
Springer
Through an understanding of the image formation process, diagnostically important facts about the internal structure and composition of the skin lesions can be derived from their c...
100
click to vote
SAS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
PUC
2010
14 years 10 months ago
2010
This paper provides a framework for recording, analyzing and modeling of 3 dimensional emotional movements for embodied game applications. To foster embodied interaction, we need i...
83
Voted
SIBGRAPI
2007
IEEE
15 years 6 months ago
2007
IEEE
Visualizations are highly valuable in improving the understanding, as well as the analysis of a variety of physical phenomena. Two such applications can be as a pedagogical tool f...