217 search results - page 18 / 44 » Towards a Mathematical Operational Semantics |
APPML
2005
14 years 11 months ago
2005
The new generation of mass spectrometers produces an astonishing amount of high-quality data in a brief period of time, leading to inevitable data analysis bottlenecks. Automated ...
115
click to vote
MPC
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
118
click to vote
HRI
2010
ACM
14 years 12 months 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...
90
Voted
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
SOCASE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...