Sciweavers

487 search results - page 36 / 98
» A New Approach to Cutting into Finite Element Models
Sort
View
CIVR
2005
Springer
133views Image Analysis» more  CIVR 2005»
15 years 3 months ago
Hot Event Detection and Summarization by Graph Modeling and Matching
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
Yuxin Peng, Chong-Wah Ngo
PTS
2007
81views Hardware» more  PTS 2007»
14 years 11 months ago
An EFSM-Based Passive Fault Detection Approach
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
Hasan Ural, Zhi Xu
ICWE
2005
Springer
15 years 3 months ago
A Model-Based Approach for Integrating Third Party Systems with Web Applications
New Web applications are rapidly moving from stand-alone systems to distributed applications that need to interoperate with third party systems, such as external Web services or le...
Nathalie Moreno, Antonio Vallecillo
ACSD
2010
IEEE
222views Hardware» more  ACSD 2010»
14 years 8 months ago
Efficient Model Checking of PSL Safety Properties
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
Tuomas Launiainen, Keijo Heljanko, Tommi A. Juntti...
ICC
2009
IEEE
239views Communications» more  ICC 2009»
15 years 4 months ago
An Analytical Approach for Throughput Evaluation of Wireless Network Coding
In this paper, we propose a new analytical model for throughput evaluation of wireless network coding. This new approach is based on a probabilistic viewpoint on network coding, i....
Mohammad H. Amerimehr, Farid Ashtiani, Mohammad Ba...