Sciweavers

2143 search results - page 127 / 429
» corr 2010
Sort
View
86
Voted
CORR
2010
Springer
100views Education» more  CORR 2010»
14 years 10 months ago
Real-Time Sorting of Binary Numbers on One-Dimensional CA
A new fast (real time) sorter of binary numbers by one-dimensional cellular automata is proposed. It sorts a list of n numbers represented by k-bits each in exactly nk steps. This ...
Thomas Worsch, Hidenosuke Nishio
86
Voted
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 27 days ago
Parikh Images of Regular Languages: Complexity and Applications
We show that the Parikh image of the language of an NFA with n states over an alphabet of size k can be described as a finite union of linear sets with at most k generators and to...
Anthony Widjaja To
83
Voted
CORR
2010
Springer
80views Education» more  CORR 2010»
15 years 27 days ago
Fault Diagnosis with Dynamic Observers
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Dynamic observers can switch sensors on or off, thus ...
Franck Cassez, Stavros Tripakis
115
Voted
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 27 days ago
A General Framework for Graph Sparsification
Given a weighted graph G and an error parameter > 0, the graph sparsification problem requires sampling edges in G and giving the sampled edges appropriate weights to obtain a...
Ramesh Hariharan, Debmalya Panigrahi
94
Voted
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 27 days ago
Compressed Sensing: How sharp is the Restricted Isometry Property
Compressed sensing is a recent technique by which signals can be measured at a rate proportional to their information content, combining the important task of compression directly ...
Jeffrey D. Blanchard, Coralia Cartis, Jared Tanner