Sciweavers

4460 search results - page 473 / 892
» Formal methods for interactive systems
Sort
View
ESAW
2004
Springer
16 years 5 days ago
Managing Conflicts Between Individuals and Societies in Multi-agent Systems
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
EXPERT
2006
107views more  EXPERT 2006»
15 years 6 months ago
Provenance in Agent-Mediated Healthcare Systems
Agent-oriented cooperation techniques and standardized electronic healthcare record exchange protocols can be used to combine information regarding different facets of a therapy re...
Tamás Kifor, László Zsolt Var...
IRI
2007
IEEE
16 years 1 months ago
Automated Multimedia Systems Training Using Association Rule Mining
User feedback is widely deployed in recent multimedia research to refine retrieval performance. However, most of the existing online learning algorithms handle interactions of a s...
Na Zhao, Shu-Ching Chen, Stuart Harvey Rubin
LAWEB
2003
IEEE
16 years 2 days ago
Towards an Ontology for Software Metrics and Indicators as the Foundation for a Cataloging Web System
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
María de los Angeles Martín, Luis Ol...
ICASSP
2010
IEEE
15 years 7 months ago
NC node selection game in collaborative streaming systems
Network coding has been recently proposed as an efficient method to improve throughput, minimize delays and remove the need for reconciliation between network nodes in distribute...
Nikolaos Thomos, Hyunggon Park, Eymen Kurdoglu, Pa...