Sciweavers

9455 search results - page 1803 / 1891
» The Modelling Language Zinc
Sort
View
IJAMC
2010
94views more  IJAMC 2010»
14 years 12 months ago
Middleware mechanisms for interaction interoperability in Collaborative Virtual Environments
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
Mario Ciampi, Luigi Gallo, Antonio Coronato, Giuse...
IPMU
2010
Springer
14 years 12 months ago
Retrieving Texture Images Using Coarseness Fuzzy Partitions
Abstract. In this paper, a Fuzzy Dominant Texture Descriptor is proposed for semantically describing an image. This fuzzy descriptor is defined over a set of fuzzy sets modelling ...
Jesús Chamorro-Martínez, Pedro Manue...
JOT
2010
144views more  JOT 2010»
14 years 12 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
KES
2010
Springer
14 years 12 months ago
Talking Biology in Logic, and Back
While computation of biological information takes center stage in today’s research, knowledge-based query processing in biological databases has not gained much attention. The co...
Hasan Jamil
LOGCOM
2010
128views more  LOGCOM 2010»
14 years 12 months ago
Answer Set Programming with Resources
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
Stefania Costantini, Andrea Formisano
« Prev « First page 1803 / 1891 Last » Next »