Sciweavers

4029 search results - page 496 / 806
» Reconfigurable Systems in Education
Sort
View
CORR
2008
Springer
119views Education» more  CORR 2008»
15 years 7 months ago
Atlas-Based Prostate Segmentation Using an Hybrid Registration
Abstract Purpose: This paper presents the preliminary results of a semiautomatic method for prostate segmentation of Magnetic Resonance Images (MRI) which aims to be incorporated i...
Sébastien Martin, Vincent Daanen, Jocelyne ...
194
Voted
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 7 months ago
A General Framework for Sound and Complete Floyd-Hoare Logics
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paul...
190
Voted
CORR
2010
Springer
103views Education» more  CORR 2010»
15 years 7 months ago
Robust Matrix Decomposition with Outliers
Suppose a given observation matrix can be decomposed as the sum of a low-rank matrix and a sparse matrix (outliers), and the goal is to recover these individual components from th...
Daniel Hsu, Sham M. Kakade, Tong Zhang
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 7 months ago
Contact processes and moment closure on adaptive networks
Contact processes describe the transmission of distinct properties of nodes via the links of a network. They provide a simple framework for many phenomena, such as epidemic spreadi...
Anne-Ly Do, Thilo Gross
176
Voted
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 7 months ago
Stabilizer Quantum Codes: A Unified View based on Forney-style Factor Graphs
Quantum error-correction codes (QECCs) are a vital ingredient of quantum computation and communication systems. In that context it is highly desirable to design QECCs that can be r...
Pascal O. Vontobel