1992 search results - page 201 / 399 » Model Based Testing with Labelled Transition Systems |
156
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
179
Voted
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Due to the capacity of pan-tilt-zoom (PTZ) cameras to
simultaneously cover a panoramic area and maintain high
resolution imagery, researches in automated surveillance
systems wi...
130
Voted
SDM
2010
SIAM
15 years 5 months ago
2010
SIAM
We present a method for unsupervised discovery of abnormal occurrences of activities in multi-dimensional time series data. Unsupervised activity discovery approaches differ from ...
126
click to vote
WSC
2008
15 years 6 months ago
2008
This paper suggests a generic simulation platform that can be used for real-time discrete event simulation modeling. The architecture of the proposed system is based on a tested f...
150
Voted
IMCSIT
2010
15 years 1 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...