Sciweavers

3047 search results - page 294 / 610
» A Temporal Consensus Model
Sort
View
IEEEARES
2006
IEEE
16 years 20 days ago
Modeling Dependable Systems using Hybrid Bayesian Networks
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...
Martin Neil, Manesh Tailor, Norman E. Fenton, Davi...
ICMCS
2005
IEEE
78views Multimedia» more  ICMCS 2005»
16 years 6 days ago
Meeting video retrieval using dynamic HMM model similarity
Overcoming the semantic-feature gap and adapting to context are two main challenges in content-based retrieval. The problem is even more complicated for unstructured videos such a...
Dar-Shyang Lee, Jonathan J. Hull, Berna Erol
RTSS
2005
IEEE
16 years 6 days ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland
IBPRIA
2005
Springer
16 years 4 days ago
A 3D Dynamic Model of Human Actions for Probabilistic Image Tracking
Abstract. In this paper we present a method suitable to be used for human tracking as a temporal prior in a particle filtering framework such as CONDENSATION [5]. This method is f...
Ignasi Rius, Daniel Rowe, Jordi Gonzàlez, F...
FATES
2004
Springer
16 years 12 hour ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural