17 search results - page 3 / 4 » Using History Invariants to Verify Observers |
JCB
1998
13 years 6 months ago
1998
Abstract. The method of invariants is an approach to the problem of reconstructing the phylogenetic tree of a collection of m taxa using nucleotide sequence data. Models for the re...
JCNS
2008
13 years 7 months ago
2008
Adaptation of the spike-frequency response to constant stimulation, as observed on various timescales in many neurons, reflects high-pass filter properties of a neuron's tran...
DAGSTUHL
2006
13 years 8 months ago
2006
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
MPC
2010
Springer
13 years 12 months ago
2010
Springer
We show a new and constructive proof of the two-squares theorem, based on a somewhat unusual, but very effective, way of rewriting the so-called extended Euclid’s algorithm. Rat...