Sciweavers

6719 search results - page 104 / 1344
» A Generalization of Automatic Sequences
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
14 years 2 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
DSMML
2004
Springer
14 years 2 months ago
Multi Channel Sequence Processing
Abstract. This paper summarizes some of the current research challenges arising from multi-channel sequence processing. Indeed, multiple real life applications involve simultaneous...
Samy Bengio, Hervé Bourlard
SSPR
2004
Springer
14 years 2 months ago
Clustering Variable Length Sequences by Eigenvector Decomposition Using HMM
We present a novel clustering method using HMM parameter space and eigenvector decomposition. Unlike the existing methods, our algorithm can cluster both constant and variable leng...
Fatih Murat Porikli
SIGGRAPH
2010
ACM
14 years 1 months ago
VideoMocap: modeling physically realistic human motion from monocular video sequences
This paper presents a video-based motion modeling technique for generating physically realistic human motion from monocular video sequences. We formulate the video-based motion mo...
Xiaolin Wei, Jinxiang Chai
TACAS
2001
Springer
119views Algorithms» more  TACAS 2001»
14 years 1 months ago
Compositional Message Sequence Charts
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
Elsa L. Gunter, Anca Muscholl, Doron Peled