1620 search results - page 216 / 324 » Testing Polymorphic Properties |
149
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
We present a novel representation of cyclic human locomotion based on a set of spatio-temporal curves of tracked points on the surface of a person. We start by extracting a set of...
148
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
This paper presents a power grid analyzer based on a random walk technique. A linear-time algorithm is first demonstrated for DC analysis, and is then extended to perform transien...
153
click to vote
IPMI
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. In this paper, feature selection methodology from the machine learning literature is applied to the problem of shape-based classification. This methodology discards stati...
144
click to vote
IPMI
2007
Springer
16 years 5 months ago
2007
Springer
A crucial problem in statistical shape analysis is establishing the correspondence of shape features across a population. While many solutions are easy to express using boundary re...
140
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...