640 search results - page 43 / 128 » Discovering State Invariants |
HYBRID
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
NIPS
2008
14 years 12 days ago
2008
Continuous attractor neural networks (CANNs) are emerging as promising models for describing the encoding of continuous stimuli in neural systems. Due to the translational invaria...
SP
2005
IEEE
14 years 4 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
CORR
2007
Springer
13 years 11 months ago
2007
Springer
This paper addresses the performance of bit-interleaved coded multiple beamforming (BICMB) [1], [2] with imperfect knowledge of beamforming vectors. Most studies for limited-rate ...
ICIP
2007
IEEE
15 years 20 days ago
2007
IEEE
It has been recently discovered that a faithful representation for the shape of some simple distributions can be constructed using invariant statistics [1, 2]. In this paper, we c...