2173 search results - page 253 / 435 » An operational semantics for skeletons |
133
Voted
HRI
2010
ACM
15 years 28 days ago
2010
ACM
In this paper a system, which is driven through natural language, that allows operators to select and manipulate objects in the environment using an industrial robot is proposed. I...
83
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
93
Voted
ENTCS
2008
15 years 24 days ago
2008
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
105
Voted
ENTCS
2006
15 years 23 days ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
94
Voted
IANDC
2010
14 years 11 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...