1573 search results - page 127 / 315 » Signs and Formal Concepts |
110
click to vote
CHI
2005
ACM
16 years 2 months ago
2005
ACM
In current mobile navigation systems users receive the navigational instructions on a visual display or by descriptive audio. The mapping between the provided navigation informati...
106
click to vote
COSIT
2009
Springer
15 years 8 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
AIED
2005
Springer
15 years 7 months ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
117
click to vote
SELMAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
112
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...