Sciweavers

2379 search results - page 298 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
MODELS
2007
Springer
14 years 2 months ago
Modeling Time(s)
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...
Charles André, Frédéric Malle...
EWCBR
1993
Springer
14 years 4 days ago
Knowledge Engineering Requirements in Derivational Analogy
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...
Padraig Cunningham, Donal Finn, Seán Slatte...
ICANN
1997
Springer
14 years 6 days ago
A Novelty Detector Using a Network of Integrate and Fire Neurons
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...
Tuong Vinh Ho, Jean Rouat
IJCSA
2006
95views more  IJCSA 2006»
13 years 8 months ago
Modeling and Formal Verification of DHCP Using SPIN
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...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
ICIAP
2001
Springer
14 years 15 days ago
A Neurodynamical Retinal Network Based on Reaction-Diffusion Systems
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...
Matthias S. Keil, Gabriel Cristóbal, Heiko ...