Sciweavers

2143 search results - page 301 / 429
» corr 2010
Sort
View
106
Voted
CORR
2010
Springer
114views Education» more  CORR 2010»
15 years 27 days ago
Secure Lossy Source Coding with Side Information at the Decoders
This paper investigates the problem of secure lossy source coding in the presence of an eavesdropper with arbitrary correlated side informations at the legitimate decoder (referre...
Joffrey Villard, Pablo Piantanida
78
Voted
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 27 days ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
99
Voted
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 27 days ago
Extraction of Symbolic Rules from Artificial Neural Networks
Although backpropagation ANNs generally predict better than decision trees do for pattern classification problems, they are often regarded as black boxes, i.e., their predictions c...
S. M. Kamruzzaman, Md. Monirul Islam
74
Voted
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 27 days ago
Life-Cycles and Mutual Effects of Scientific Communities
Community effects on the behaviour of individuals, the community itself and other communities can be observed in a wide range of applications. This is true in scientific research,...
Václav Belák, Marcel Karnstedt, Cono...
CORR
2010
Springer
102views Education» more  CORR 2010»
15 years 27 days ago
Stable Takens' Embeddings for Linear Dynamical Systems
Takens' Embedding Theorem remarkably established that concatenating M previous outputs of a dynamical system into a vector (called a delay coordinate map) can be a one-to-one...
Han Lun Yap, Christopher J. Rozell