1302 search results - page 176 / 261 » Soundness in the Public-Key Model |
168
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We show how to greatly accelerate self-collision detection (SCD) for reduced deformable models. Given a triangle mesh and a set of deformation modes, our method precomputes Subspa...
153
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
172
click to vote
KDD
1999
ACM
15 years 10 months ago
1999
ACM
Abstract. We propose a data mining model that captures the user navigation behaviour patterns. The user navigation sessions are modelled as a hypertext probabilistic grammar whose ...
173
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
180
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...