Sciweavers

328 search results - page 37 / 66
» Explanation Oriented Retrieval
Sort
View
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
14 years 3 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
IWPC
2000
IEEE
14 years 1 months ago
Requirements for an Elucidative Programming Environment
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...
Kurt Nørmark
CORR
2008
Springer
111views Education» more  CORR 2008»
13 years 9 months ago
XML Rewriting Attacks: Existing Solutions and their Limitations
Web Services are web-based applications made available for web users or remote Web-based programs. In order to promote interoperability, they publish their interfaces in the so-ca...
Azzedine Benameur, Faisal Abdul Kadir, Serge Fenet
NECO
2000
95views more  NECO 2000»
13 years 8 months ago
Tilt Aftereffects in a Self-Organizing Model of the Primary Visual Cortex
RF-LISSOM, a self-organizing model of laterally connected orientation maps in the primary visual cortex, was used to study the psychological phenomenon known as the tilt aftereffe...
James A. Bednar, Risto Miikkulainen
BICA
2010
13 years 4 months ago
Explanatory Aspirations and the Scandal of Cognitive Neuroscience
In this position paper we argue that BICA must simultaneously be compatible with the explanation of human cognition and support the human design of artificial cognitive systems. Mo...
Ross Gayler, Simon D. Levy, Rens Bod