Sciweavers

3457 search results - page 1 / 692
» A Symbol Is Not a Symbol
Sort
View
WSPI
2008
13 years 6 months ago
Symbol Grounding in Computational Systems: A Paradox of Intentions
The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computa...
Vincent C. Müller
IAT
2006
IEEE
13 years 11 months ago
Symbolic Negotiation in Linear Logic with Coalition Formation
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
Peep Küngas, Mihhail Matskin
DAC
1990
ACM
13 years 8 months ago
Symbolic Simulation - Techniques and Applications
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
Randal E. Bryant
ICDAR
2009
IEEE
13 years 11 months ago
Graphic Symbol Recognition Using Graph Based Signature and Bayesian Network Classifier
We present a new approach for recognition of complex graphic symbols in technical documents. Graphic symbol recognition is a well known challenge in the field of document image an...
Muhammad Muzzamil Luqman, Thierry Brouard, Jean-Yv...
AMAST
1997
Springer
13 years 9 months ago
Symbolic Bisimulation for Full LOTOS
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
Carron Shankland, Muffy Thomas