819 search results - page 82 / 164 » Using Assumptions to Distribute CTL Model Checking |
149
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
217
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
161
click to vote
AVSS
2005
IEEE
15 years 10 months ago
2005
IEEE
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is gener...
152
click to vote
ICIAR
2005
Springer
15 years 10 months ago
2005
Springer
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...
133
click to vote
IJON
2006
15 years 4 months ago
2006
We present an application of Independent Component Analysis (ICA) to the discrimination of mental tasks for EEG-based Brain Computer Interface systems. ICA is most commonly used w...