Sciweavers

2941 search results - page 197 / 589
» The Myth of the Educational Computer
Sort
View
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 6 months ago
Flatness of the Energy Landscape for Horn Clauses
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...
Saratha Sathasivam, Wan Ahmad Tajuddin Wan Abdulla...
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 6 months ago
The semantic mapping of words and co-words in contexts
Meaning can be generated when information is related at a systemic level. Such a system can be an observer, but also a discourse, for example, operationalized as a set of document...
Loet Leydesdorff, Kasper Welbers
CORR
2008
Springer
138views Education» more  CORR 2008»
15 years 6 months ago
The implicit equation of a canal surface
A canal surface is an envelope of a one parameter family of spheres. In this paper we present an efficient algorithm for computing the implicit equation of a canal surface generat...
Marc Dohm, Severinas Zube
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 6 months ago
Coinductive Formal Reasoning in Exact Real Arithmetic
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
Milad Niqui
CORR
2008
Springer
85views Education» more  CORR 2008»
15 years 6 months ago
Quantifying Timing Leaks and Cost Optimisation
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...