Sciweavers

1119 search results - page 141 / 224
» On the Invariance of Ant System
Sort
View
INFORMATICALT
2002
103views more  INFORMATICALT 2002»
14 years 9 months ago
Numerical Representations as Purely Functional Data Structures: a New Approach
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
Mirjana Ivanovic, Viktor Kuncak
NECO
2010
78views more  NECO 2010»
14 years 8 months ago
Hebbian Plasticity and Homeostasis in a Model of Hypercolumn of the Visual Cortex
Neurons in the nervous system display a wide variety of plasticity processes. Among them are covariance based rules and homeostatic plasticity. By themselves, the first ones tend...
R. Rossi Pool, G. Mato
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
14 years 4 months ago
Sufficient conditions for stabilizability over Gaussian relay and cascade channels
We present sufficient conditions for stabilizability of an unstable linear time invariant scalar system across an additive white Gaussian noise channel, with a relay assisting the ...
Utsaw Kumar, Vijay Gupta, J. Nicholas Laneman
CDC
2010
IEEE
186views Control Systems» more  CDC 2010»
14 years 4 months ago
Approximation and limiting behavior of random models
In this paper, we investigate limiting behavior of linear dynamic systems driven by random stochastic matrices. We introduce and study the new concepts of partial ergodicity and 1-...
Behrouz Touri, Angelia Nedic
ICSE
2008
IEEE-ACM
15 years 10 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su