Sciweavers

4498 search results - page 256 / 900
» How to Invent Functions
Sort
View
ENTCS
2006
114views more  ENTCS 2006»
15 years 4 months ago
Synthesis of Mealy Machines Using Derivatives
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
Helle Hvid Hansen, David Costa, Jan J. M. M. Rutte...
IJKL
2007
46views more  IJKL 2007»
15 years 4 months ago
Trialogical learning in public: FlashMeeting recording and reuse in a peer-learning context
: Online meetings are increasingly popular in support of technology-enhanced learning collaboration. When these virtual meetings are recorded and shared in the host community and b...
Peter J. Scott, Linda J. Castaneda, Kevin Quick, J...
CORR
2004
Springer
128views Education» more  CORR 2004»
15 years 4 months ago
Vector Symbolic Architectures answer Jackendoff's challenges for cognitive neuroscience
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
Ross W. Gayler
DSS
2002
97views more  DSS 2002»
15 years 4 months ago
A new paradigm for computer-based decision support
We identify and address a fundamental general problem which we regard as crucial for the widespread, effective use of decision support systems (DSS) in the future: how can we subs...
Meurig Beynon, Suwanna Rasmequan, Steve Russ
IJPRAI
1998
100views more  IJPRAI 1998»
15 years 4 months ago
Obtaining The Correspondence between Bayesian and Neural Networks
We present in this paper a novel method for eliciting the conditional probability matrices needed for a Bayesian network with the help of a neural network. We demonstrate how we c...
Athena Stassopoulou, Maria Petrou