6704 search results - page 602 / 1341 » Testing Scenario-Based Models |
163
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
The recurring real-time task model was recently proposed as a model for real-time processes that contain code with conditional branches. In this paper, we present a necessary and ...
171
click to vote
ACSD
2003
IEEE
16 years 15 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
181
click to vote
WSC
2007
15 years 9 months ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....
210
click to vote
FLAIRS
2004
15 years 8 months ago
2004
In our prior work, we introduced a generalization of the multiple-instance learning (MIL) model in which a bag's label is not based on a single instance's proximity to a...
177
click to vote
TRECVID
2007
15 years 8 months ago
2007
We describe a high level feature extraction system for video. Video sequences are modeled using Gaussian Mixture Models. We have used those models in the past to segment video seq...