8337 search results - page 330 / 1668 » Reasoning With Characteristic Models |
188
click to vote
STOC
2000
ACM
15 years 11 months ago
2000
ACM
We propose a random graph model which is a special case of sparse random graphs with given degree sequences. This model involves only a small number of parameters, called logsize ...
173
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
180
click to vote
AISB
1997
Springer
15 years 11 months ago
1997
Springer
A technique for the credible modelling of economic agents with bounded rationality based on the evolutionary techniques is described. The genetic programming paradigm is most suite...
193
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we present our study of extracting a mobility model for vehicular ad hoc networks (VANETs) from a large amount of real taxi GPS trace data. In order to capture char...
185
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...