42507 search results - page 68 / 8502 » On the analysis of |
153
click to vote
BMVC
1998
15 years 7 months ago
1998
In this paper we describe a system for automatic gait analysis. Different kinds of human gait are recognized using sequences of grey
138
click to vote
SIAMSC
2008
15 years 6 months ago
2008
The solution of linear systems arising from the linear stability analysis of solutions of the Navier
143
click to vote
SIAMSC
2008
15 years 6 months ago
2008
Coding of data, usually upstream of data analysis, has crucial implications for the data analysis results. By modifying the data coding
153
click to vote
SCAM
2006
IEEE
16 years 4 days ago
2006
IEEE
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
150
Voted
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...