3457 search results - page 273 / 692 » A Symbol Is Not a Symbol |
132
click to vote
DATESO
2004
15 years 8 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...
135
click to vote
EMNLP
2004
15 years 8 months ago
2004
A method for automatic plot analysis of narrative texts that uses components of both traditional symbolic analysis of natural language and statistical machine-learning is presente...
138
click to vote
FLAIRS
2006
15 years 8 months ago
2006
This paper outlines a symbolic computational theory for recognizing variable spatial environments-The Theory of Cognitive Prism, (Dong 2005). This theory defines distance and orie...
151
click to vote
SDL
2001
15 years 8 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
218
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...