Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
Information in the nervous system has often been considered as being represented by simultaneous discharge of a large set of neurons. We propose a learning mechanism for neural inf...
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
A dynamical model for retinal processing is presented. The model describes the output of retinal ganglion cells whose receptive field is composed of a center and a surround combi...