9067 search results - page 471 / 1814 » Adaptive Model Checking |
200
click to vote
CAI
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
179
click to vote
KES
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a novel method to the analysis of human-arm motion, in particular improving the efficiency of conventional motion recognition algorithms. Contrary to...
348
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
We present a hierarchical model that learns image decompositions via alternating layers of convolutional sparse coding and max pooling. When trained on natural images, the layers ...
177
click to vote
HVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
191
click to vote
RTCSA
2005
IEEE
16 years 16 days ago
2005
IEEE
The run-time power consumption model for multimedia application routines in an embedded system is developed in this work. A wide range of benchmarks for these routines such as ima...