1532 search results - page 84 / 307 » The Symbol Grounding Problem |
105
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
129
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— The search for optimality in the design of channel precoders and training symbols in block processing communication systems is one of paramount importance. Finding the best tra...
132
click to vote
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
Structured Hidden Markov Model (S-HMM) is a variant of Hierarchical Hidden Markov Model that shows interesting capabilities of extracting knowledge from symbolic sequences. In fact...
121
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
150
click to vote
STACS
1999
Springer
15 years 8 months ago
1999
Springer
The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of str...