Sciweavers

3103 search results - page 397 / 621
» Locating Features in Distributed Systems
Sort
View
MTA
2010
175views more  MTA 2010»
15 years 3 months ago
Building a web-scale image similarity search system
As the number of digital images is growing fast and Content-based Image Retrieval (CBIR) is gaining in popularity, CBIR systems should leap towards Webscale datasets. In this paper...
Michal Batko, Fabrizio Falchi, Claudio Lucchese, D...
IAT
2005
IEEE
15 years 10 months ago
Optimizing Agents Operation in Partially Inaccessible and Disruptive Environment
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
David Sislák, Martin Rehák, Michal P...
110
Voted
ATAL
2005
Springer
15 years 10 months ago
Temporal logics for normative agent communication protocols
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
Ulle Endriss
METAINFORMATICS
2004
Springer
15 years 10 months ago
Supporting Tools for Designing-By-Contract in Component-Based Applications
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
ICDCSW
2002
IEEE
15 years 9 months ago
Separation of Concerns in Agent Applications by Roles
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli