Sciweavers

5154 search results - page 80 / 1031
» Computing and using residuals in time series models
Sort
View
ATVA
2005
Springer
111views Hardware» more  ATVA 2005»
14 years 2 months ago
Model Checking Prioritized Timed Automata
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Y...
ICCV
2009
IEEE
15 years 1 months ago
Modelling Activity Global Temporal Dependencies using Time Delayed Probabilistic Graphical Model
We present a novel approach for detecting global behaviour anomalies in multiple disjoint cameras by learning time delayed dependencies between activities cross camera views. Sp...
Chen Change Loy, Tao Xiang and Shaogang Gong
ENVSOFT
2008
79views more  ENVSOFT 2008»
13 years 9 months ago
A Lagrangian tool for modelling ichthyoplankton dynamics
Ichthyop is a free Java tool designed to study the effects of physical and biological factors on ichthyoplankton dynamics. It incorporates the most important processes involved in...
Christophe Lett, Philippe Verley, Christian Mullon...
APVIS
2009
13 years 10 months ago
Visualizing time-varying features with TAC-based distance fields
To analyze time-varying data sets, tracking features over time is often necessary to better understand the dynamic nature of the underlying physical process. Tracking 3D time-vary...
Teng-Yok Lee, Han-Wei Shen
BMCBI
2006
110views more  BMCBI 2006»
13 years 9 months ago
Modelling the network of cell cycle transcription factors in the yeast Saccharomyces cerevisiae
Background: Reverse-engineering regulatory networks is one of the central challenges for computational biology. Many techniques have been developed to accomplish this by utilizing...
Shawn Cokus, Sherri Rose, David Haynor, Niels Gr&o...