Sciweavers

404 search results - page 66 / 81
» Structure Discovery from Sequential Data
Sort
View
FMSD
2006
85views more  FMSD 2006»
14 years 9 months ago
Distributed disk-based algorithms for model checking very large Markov chains
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
Alexander Bell, Boudewijn R. Haverkort
CN
1999
158views more  CN 1999»
14 years 9 months ago
A Comparison of Schemas for Video Metadata Representation
To enable the resource discovery of audiovisual documents over the World Wide Web, it will be necessary to define content description standards or metadata standards for complex, ...
Jane Hunter, Liz Armstrong
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 3 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
91
Voted
ICCV
2007
IEEE
15 years 11 months ago
Conditional State Space Models for Discriminative Motion Estimation
We consider the problem of predicting a sequence of real-valued multivariate states from a given measurement sequence. Its typical application in computer vision is the task of mo...
Minyoung Kim, Vladimir Pavlovic
CVPR
2009
IEEE
16 years 4 months ago
Monitoring, Recognizing and Discovering Social Networks
This work addresses the important problem of the discovery and analysis of social networks from surveillance video. A computer vision approach to this problem is made possible b...
Ting Yu, Ser Nam Lim, Kedar A. Patwardhan, Nils Kr...