697 search results - page 12 / 140 » Symbols are not uniquely human |
DIS
2000
Springer
15 years 2 months ago
2000
Springer
With the variety of human life, people are interested in various matters for each one’s unique reason, for which a machine maybe a better counselor than a human. This paper prop...
74
Voted
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...
106
click to vote
SOFSEM
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
CICLING
2008
Springer
15 years 12 days ago
2008
Springer
This paper investigates the problem of automatic chemical Term Recognition (TR) and proposes to tackle the problem by fusing Symbolic and statistical techniques. Unlike other solut...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...