180 search results - page 1 / 36 » How to safely close a discussion |
IPL
2007
13 years 4 months ago
2007
In the secure communication problem, we focus on safe termination. In applications such as electronic transactions, we want each party to be ensured that both sides agree on the s...
IEEESCC
2006
IEEE
13 years 11 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
LANMR
2004
13 years 6 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
ICRA
2003
IEEE
13 years 10 months ago
2003
IEEE
s - For the on-line safe path planning of a mobile robot in unknown environments, the paper proposes a simple Hopfield Neural Network ( HNN ) planner. Without learning process, the...
BMVC
2001
13 years 7 months ago
2001
This paper discusses advances made to the 3D geometrical model matching system within the TINA machine vision environment over the last 10 years including the recent inclusion of ...