2776 search results - page 138 / 556 » System-Level Abstraction Semantics |
142
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
125
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
118
click to vote
PROMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
150
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper presents an approach to create topological maps from geometric maps obtained with a mobile robot in an indoor-environment using range data. Our approach util...
156
click to vote
GRC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. A new methodology that structures the semantics of a collection of documents into the geometry of a simplicial complex is developed. A simplicial complex is topologically...