3799 search results - page 540 / 760 » An Engineering Approach to Formal Methods |
235
click to vote
PAMI
2012
13 years 9 months ago
2012
—This paper is concerned with the representation and recognition of the observed dynamics (i.e., excluding purely spatial appearance cues) of spacetime texture based on a spatiot...
170
click to vote
TASLP
2010
15 years 1 months ago
2010
Abstract--Voice conversion can be formulated as finding a mapping function which transforms the features of the source speaker to those of the target speaker. Gaussian mixture mode...
205
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Towards the goal of realizing a generic automatichuman activity recognition system, a new formalism is proposed. Activities are described by a chained hierarchical representation ...
182
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we consider the problem of segmenting multiple rigid motions using multi?frame point correspondence data. The main idea of the method is to group points according to...
168
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we formally define the problem of topic modeling with network structure (TMN). We propose a novel solution to this problem, which regularizes a statistical topic mo...