3457 search results - page 198 / 692 » A Symbol Is Not a Symbol |
217
click to vote
AAAI
2008
15 years 7 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
169
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed ...
159
click to vote
ACL
2010
15 years 4 months ago
2010
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
144
click to vote
ISRR
2005
Springer
15 years 12 months ago
2005
Springer
d a human. The meta proto-symbols are a little more abstract analogy of the proto-symbols and recognize/generate the relationship of the two. A hypothesis is then proposed as the p...
143
click to vote
MS
2003
15 years 7 months ago
2003
This paper explores the potential of acausal modelling tools for a simple, but challenging process engineering benchmark problem. Matlab/Simulink illustrates a traditional block d...