15 search results - page 1 / 3 » sbia 2004 |
SBIA
2004
Springer
13 years 10 months ago
2004
Springer
SBIA
2004
Springer
13 years 10 months ago
2004
Springer
SBIA
2004
Springer
13 years 10 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 10 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 10 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...