Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
Emina Torlak, Marten van Dijk, Blaise Gassend, Dan...
This paper proposes the use of animal flocks to naturally provide spatial clues in adventure video-games. This approach complements the so far proposed mechanisms to support naviga...
The aim of motion detection is to decide whether a given part of an image belongs to a moving object or to the static background. This paper proposes an automatic decision rule for...
This study investigates the control of spike-timing dependent plasticity (STDP) by regulation of the dendritic spike threshold of the postsynaptic neuron. The control of synaptic ...
Patrick D. Roberts, Gerardo Lafferriere, Nathaniel...
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...