6306 search results - page 115 / 1262 » Space, Time, and the Use of Language |
103
click to vote
ATAL
2004
Springer
15 years 1 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Computers understand very little of the meaning of human language. This profoundly limits our ability to give instructions to computers, the ability of computers to explain their ...
ICTIR
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
NETWORK
2011
14 years 5 months ago
2011
Inferring the subjective perception of a video stream in real time continues to be a stiff problem. This article presents MintMOS: a lightweight, no-reference, loadable kernel mod...
NN
2008
Springer
14 years 10 months ago
2008
Springer
Brain processes responsible for understanding language are approximated by spreading activation in semantic networks, providing enhanced representations that involve concepts not ...