Sciweavers

2814 search results - page 246 / 563
» Multicriteria Network Design Using Evolutionary Algorithm
Sort
View
HUC
2010
Springer
15 years 2 months ago
Routine as resource for the design of learning systems
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
Scott Davidoff
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
15 years 8 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi
ICC
2007
IEEE
15 years 10 months ago
Scheduling and Source Control with Average Queue-Length Control in Cellular Networks
— In this paper, a scheduling problem is considered in the cellular network where there exist CBR (constant bit rate) users requiring exact minimum average throughput and delay g...
Hyang-Won Lee, Cheoljung Kim, Song Chong
GECCO
2008
Springer
261views Optimization» more  GECCO 2008»
15 years 5 months ago
SSNNS -: a suite of tools to explore spiking neural networks
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...
Heike Sichtig, J. David Schaffer, Craig B. Laramee
ICCAD
2003
IEEE
113views Hardware» more  ICCAD 2003»
16 years 1 months ago
Branch Merge Reduction of RLCM Networks
— In this paper we consider the problem of finding a smaller RLCM circuit that approximately replicates the behavior (up to a certain frequency) of a given RLCM circuit. Targeted...
Bernard N. Sheehan