15 search results - page 1 / 3 » sbia 2004 |
SBIA
2004
Springer
13 years 9 months ago
2004
Springer
SBIA
2004
Springer
13 years 9 months ago
2004
Springer
SBIA
2004
Springer
13 years 9 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
SBIA
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. The aim of this paper is to study a family of logics that approximates classical inference, in which every step in the approximation can be decided in polynomial time. Fo...
SBIA
2004
Springer
13 years 9 months ago
2004
Springer
This paper presents an overview of current work on the recognition of sign language and a prototype of a simple editor for a small subset of the Brazilian Sign Language, LIBRAS. Ha...