4502 search results - page 506 / 901 » Regular Model Checking |
198
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
195
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
A silicon neuron circuit that produces spiking and bursting firing patterns, with biologically plausible spike shape, is presented. The circuit mimics the behaviour of known class...
165
click to vote
JGAA
2007
15 years 6 months ago
2007
Spectral methods are naturally suited for dynamic graph layout because, usually, moderate changes of a graph yield moderate changes of the layout. We discuss some general principl...
195
click to vote
MOC
2002
15 years 6 months ago
2002
We study the convergence properties of the hp-version of the local discontinuous Galerkin finite element method for convection-diffusion problems; we consider a model problem in a ...
162
click to vote
JMLR
2011
15 years 1 months ago
2011
The Causality Workbench project is an environment to test causal discovery algorithms. Via a web portal (http://clopinet.com/causality), it provides a number of resources, includi...