Sciweavers

5608 search results - page 40 / 1122
» On the Theory of Matchgate Computations
Sort
View
AISC
1998
Springer
15 years 5 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson
SMI
2005
IEEE
15 years 7 months ago
Computational Topology for Reconstruction of Surfaces with Boundary: Integrating Experiments and Theory
We report new techniques and theory in computational topology for reconstructing surfaces with boundary. This complements and extends known techniques for surfaces without boundar...
K. Abe, Justin Bisceglio, Thomas J. Peters, Alexan...
ESANN
2007
15 years 2 months ago
An overview of reservoir computing: theory, applications and implementations
Training recurrent neural networks is hard. Recently it has however been discovered that it is possible to just construct a random recurrent topology, and only train a single linea...
Benjamin Schrauwen, David Verstraeten, Jan M. Van ...
IJCINI
2007
139views more  IJCINI 2007»
15 years 1 months ago
AURELLIO: A Cognitive Computational Knowledge Representation Theory
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...
Mehdi Najjar, André Mayers
LREC
2008
141views Education» more  LREC 2008»
15 years 2 months ago
Centering Theory for Evaluation of Coherence in Computer-Aided Summaries
This paper investigates a new evaluation method for assessing the coherence of computer-aided summaries, justified by the inappropriacy of existing evaluation methods for this tas...
Laura Hasler