64 search results - page 11 / 13 » Symmetry and Reduced Symmetry in Model Checking |
AAAI
2012
11 years 9 months ago
2012
The presence of non-symmetric evidence has been a barrier for the application of lifted inference since the evidence destroys the symmetry of the first-order probabilistic model....
CSFW
1999
IEEE
13 years 11 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
We present a framework for calculating low-dimensional bases to represent image irradiance from surfaces with isotropic reflectance under arbitrary illumination. By representing t...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
ENTCS
2010
13 years 7 months ago
2010
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...