2776 search results - page 138 / 556 » System-Level Abstraction Semantics |
169
click to vote
ATAL
2007
Springer
16 years 19 days 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 ...
152
click to vote
ESWS
2007
Springer
16 years 18 days 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 ...
144
click to vote
PROMAS
2007
Springer
16 years 17 days 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...
172
click to vote
IROS
2006
IEEE
16 years 14 days 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...
203
click to vote
GRC
2005
IEEE
16 years 2 days 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...