3082 search results - page 319 / 617 » Deviation Analysis: A New Use of Model Checking |
151
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
We explore the use of information models as a guide for the development of single objective optimization algorithms, giving particular attention to the use of Bayesian models in a...
150
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
206
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
165
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
180
click to vote
IBPRIA
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we present two new observation models based on optical flow information to track objects using particle filter algorithms. Although optical flow information enabl...