736 search results - page 23 / 148 » Moving Specification Structures Between Logical Systems |
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
In this paper, we present a face authentication system that can be broken down in three stages. Prior to feature extraction, a pose correction step is applied, so that frontal fac...
CLIMA
2004
13 years 8 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
AI
2005
Springer
13 years 7 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...