6279 search results - page 147 / 1256 » Objects as session-typed processes |
173
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...
166
click to vote
WSC
2007
15 years 8 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
182
click to vote
NIPS
2008
15 years 8 months ago
2008
Sampling functions in Gaussian process (GP) models is challenging because of the highly correlated posterior distribution. We describe an efficient Markov chain Monte Carlo algori...
150
click to vote
ECIS
2001
15 years 8 months ago
2001
Home computers are often considered as `domestic technology' or part of the `domestic media ensemble' as if those were simple and straightforward concepts. In this paper...
164
click to vote
ENTCS
2007
15 years 6 months ago
2007
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...