2776 search results - page 145 / 556 » System-Level Abstraction Semantics |
149
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
135
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
142
click to vote
ISMIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Discovering significant meta-information from document collections is a critical factor for knowledge distribution and preservation. This paper presents a system that im...
141
click to vote
RELMICS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
108
click to vote
ROBOCUP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A basic task of rescue robot systems is mapping of the environment. Localizing injured persons, guiding rescue workers and excavation equipment requires a precise 3D map ...