1761 search results - page 41 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
ASE
2008
13 years 9 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
We recently proposed a method to find cluster structure in home videos based on statistical models of visual and temporal features of video segments and sequential binary Bayesian...
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
Magnetic Resonance (MR) images often exhibit grayscale nonuniformities, caused by radio frequency (RF) coil design or acquisition sequences. Many algorithms to remove these nonuni...
SECON
2007
IEEE
14 years 3 months ago
2007
IEEE
—In this paper, we develop a joint Network Coding (NC)-channel coding error-resilient sensor-network approach that performs In-Network Processing based on channel code Design (IN...