BIRTHDAY
2005
Springer
14 years 5 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 5 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
14 years 5 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
14 years 5 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 5 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 5 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
14 years 5 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 5 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
14 years 5 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 5 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...