Sciweavers

642 search results - page 50 / 129
» corr 2006
Sort
View
CORR
2006
Springer
83views Education» more  CORR 2006»
15 years 15 days ago
Fast linear algebra is stable
In [12] we showed that a large class of fast recursive matrix multiplication algorithms is stable in a normwise sense, and that in fact if multiplication of n-by-n matrices can be...
James Demmel, Ioana Dumitriu, Olga Holtz
104
Voted
CORR
2006
Springer
89views Education» more  CORR 2006»
15 years 15 days ago
Reuse of Specification Patterns with the B Method
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
Sandrine Blazy, Frédéric Gervais, R&...
84
Voted
CORR
2006
Springer
97views Education» more  CORR 2006»
15 years 15 days ago
Stabilization using both noisy and noiseless feedback
Abstract-- When designing a distributed control system, the system designer has a choice in how to connect the different units through communication channels. In practice, noiseles...
Anant Sahai
80
Voted
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 15 days ago
Approximate Linear Time ML Decoding on Tail-Biting Trellises in Two Rounds
A linear time approximate maximum likelihood decoding algorithm on tail-biting trellises is presented, that requires exactly two rounds on the trellis. This is an adaptation of an ...
K. Murali Krishnan, Priti Shankar
80
Voted
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 15 days ago
Watermarking Using Decimal Sequences
: This paper introduces the use of decimal sequences in a code division multiple access (CDMA) based watermarking system to hide information for authentication in black and white i...
Navneet Mandhani, Subhash Kak