Sciweavers

1716 search results - page 162 / 344
» Generating models for temporal representations
Sort
View
CMOT
2010
203views more  CMOT 2010»
15 years 1 months ago
A Bayesian approach to modeling lost person behaviors based on terrain features in Wilderness Search and Rescue
: In Wilderness Search and Rescue (WiSAR), the incident commander (IC) creates a probability distribution map of the likely location of the missing person. This map is important be...
Lanny Lin, Michael A. Goodrich
ICIP
2007
IEEE
16 years 5 months ago
Semantics-Based Video Indexing using a Stochastic Modeling Approach
Semantic video indexing is the first step towards automatic video retrieval and personalization. We propose a data-driven stochastic modeling approach to perform both video segmen...
Yong Wei, Suchendra M. Bhandarkar, Kang Li
RTCSA
2007
IEEE
15 years 10 months ago
A Dynamic Medial Axis Model for Sensor Networks
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
Lan Lin, Hyunyoung Lee
161
Voted
CONCUR
1999
Springer
15 years 8 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
CIMCA
2006
IEEE
15 years 10 months ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...