Sciweavers

5851 search results - page 420 / 1171
» Coordination as a Direct Process
Sort
View
IASSE
2003
15 years 8 months ago
An Intelligent System for Seismic Source Localization
In a stationary sensor situation, locating signals arriving from different directions can be achieved by using multiple sensors placed at different locations. Different methods fo...
Ramzi W. Elkhater, Evangelos A. Yfantis, John Istl...
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 7 months 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
CORR
2008
Springer
122views Education» more  CORR 2008»
15 years 7 months ago
Exploring Human Factors in Spreadsheet Development
In this paper we consider human factors and their impact on spreadsheet development in strategic decision-making. This paper brings forward research from many disciplines both dir...
Simon R. Thorne, David Ball
CORR
2004
Springer
76views Education» more  CORR 2004»
15 years 6 months ago
Improved Upper Bound for the Redundancy of Fix-Free Codes
A variable-length code is a fix-free code if no codeword is a prefix or a suffix of any other codeword. In a fix-free code any finite sequence of codewords can be decoded in both d...
Sergey Yekhanin
ENTCS
1998
94views more  ENTCS 1998»
15 years 6 months ago
Derivation of Characteristic Formulae
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
Markus Müller-Olm