Sciweavers

1532 search results - page 137 / 307
» The Symbol Grounding Problem
Sort
View
ISMVL
2000
IEEE
120views Hardware» more  ISMVL 2000»
15 years 9 months ago
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
Harald Sack, Elena Dubrova, Christoph Meinel
NIPS
2000
15 years 5 months ago
A Productive, Systematic Framework for the Representation of Visual Structure
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
Shimon Edelman, Nathan Intrator
137
Voted
EUROGP
2010
Springer
167views Optimization» more  EUROGP 2010»
15 years 5 months ago
An Analysis of Genotype-Phenotype Maps in Grammatical Evolution
We present an analysis of the genotype-phenotype map in Grammatical Evolution (GE). The standard map adopted in GE is a depth-first expansion of the non-terminal symbols during the...
David Fagan, Michael O'Neill, Edgar Galván ...
ENTCS
2007
120views more  ENTCS 2007»
15 years 4 months ago
Non-Interference Control Synthesis for Security Timed Automata
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
Guillaume Gardey, John Mullins, Olivier H. Roux
CJ
1999
95views more  CJ 1999»
15 years 4 months ago
Two Kinds of Probabilistic Induction
Problems in probabilistic induction are of two general kinds. In the first, we have a linearly ordered sequence of symbols that must be extrapolated. In the second we want to extr...
Ray J. Solomonoff