7121 search results - page 158 / 1425 » Functions as Session-Typed Processes |
119
click to vote
RTSS
1989
IEEE
15 years 7 months ago
1989
IEEE
A new fault tolerant architecture that provides tolerance to a broad scope of hardware, software, and communications faults is being developed. This architecture relies on widely ...
118
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
134
click to vote
CAGD
2005
15 years 2 months ago
2005
In this paper, we propose a new quadrilateral remeshing method for manifolds of arbitrary genus that is at once general, flexible, and efficient. Our technique is based on the use...
113
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
147
Voted
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...