4502 search results - page 552 / 901 » Regular Model Checking |
146
click to vote
MFCS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
197
click to vote
ICPR
2006
IEEE
16 years 24 days ago
2006
IEEE
Non-rigid shape registration is an important issue in computer vision. In this paper we propose a novel globalto-local procedure for aligning non-rigid shapes. The global similari...
198
click to vote
IJCNN
2006
IEEE
16 years 23 days ago
2006
IEEE
— It is a challenging task for multiple robots working together to realize object transportation. This paper studies a practical situation that a group of mobile manipulators are...
159
click to vote
ISCAS
2006
IEEE
16 years 23 days ago
2006
IEEE
—A method for detection of tree branches and leaves in video is proposed. It is observed that the motion vectors of tree branches and leaves exhibit random motion. On the other h...
194
Voted
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, an HMM-embedded unsupervised learning approach is proposed to detect the music events by grouping the similar segments of the music signal. This approach can cluste...