3820 search results - page 217 / 764 » Bounded Model Debugging |
139
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
We propose a new semi-supervised model selection method that is derived by applying the structural risk minimization principle to a recent semi-supervised generalization error bou...
121
Voted
FMSD
2006
15 years 3 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
115
Voted
CGF
1998
15 years 3 months ago
1998
In this paper, we present an e cient algorithm for contact determination between spline models. We make use of a new hierarchy, called ShellTree, that comprises of spherical shell...
148
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
148
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...