BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...