3385 search results - page 509 / 677 » Language, Logic, and the Brain |
203
click to vote
GEOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
169
click to vote
MKM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
170
click to vote
MODELS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
162
click to vote
FOCS
2005
IEEE
16 years 3 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
127
click to vote
SIGDOC
2005
ACM
16 years 2 days ago
2005
ACM
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...