Sciweavers

884 search results - page 63 / 177
» Temporal Templates and Analysis of Time Related Data
Sort
View
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 4 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
FUIN
2006
160views more  FUIN 2006»
14 years 12 months ago
Behavioral Pattern Identification Through Rough Set Modeling
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
Jan G. Bazan
ICDM
2009
IEEE
168views Data Mining» more  ICDM 2009»
15 years 6 months ago
Bi-relational Network Analysis Using a Fast Random Walk with Restart
—Identification of nodes relevant to a given node in a relational network is a basic problem in network analysis with great practical importance. Most existing network analysis ...
Jing Xia, Doina Caragea, William H. Hsu
RECOMB
2007
Springer
16 years 5 days ago
Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...
Hiroyuki Kuwahara, Chris J. Myers
FGR
2004
IEEE
114views Biometrics» more  FGR 2004»
15 years 3 months ago
Combining Motion Segmentation with Tracking for Activity Analysis
We explore a novel motion feature as the appropriate basis for classifying or describing a number of fine motor human activities.Ourapproach not only estimates motion directions a...
Jiang Gao, Alexander G. Hauptmann, Howard D. Wactl...