106 search results - page 12 / 22 » On the Analysis of Numerical Data Time Series in Temporal Lo... |
TII
2010
13 years 2 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
MMM
2008
Springer
14 years 2 months ago
2008
Springer
3D motion capture is a form of multimedia data that is widely used in animation and medical fields (such as physical medicine and rehabilitation where body joint analysis is neede...
AAAI
2007
13 years 10 months ago
2007
The problem of locating motifs in real-valued, multivariate time series data involves the discovery of sets of recurring patterns embedded in the time series. Each set is composed...
IV
2005
IEEE
14 years 1 months ago
2005
IEEE
The paper elaborates on the previous research on the analysis of temporal and spatio-temporal data done in statistical graphics and geo-visualization. We focus on the exploration ...
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...