Sciweavers

4241 search results - page 776 / 849
» A Knowledge-Based Software Information System
Sort
View
ATAL
2005
Springer
14 years 3 months ago
Formalization of a voting protocol for virtual organizations
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Ale...
ATAL
2005
Springer
14 years 3 months ago
Formation of cooperation structure by interaction network in directed multi-agent
A directed agent implies an agent with high constraints in both recognition and motion. Because of the embodied restrictions, the directed agent perceives a sense of subjective di...
Kosuke Sekiyama, Yukihisa Okade
CAISE
2005
Springer
14 years 3 months ago
Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
João Pedro Sousa, Vahe Poladian, David Garl...
FSTTCS
2005
Springer
14 years 3 months ago
Causal Closure for MSC Languages
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, V...
ISMIR
2005
Springer
155views Music» more  ISMIR 2005»
14 years 3 months ago
MATCH: A Music Alignment Tool Chest
We present MATCH, a toolkit for aligning audio recordings of different renditions of the same piece of music, based on an efficient implementation of a dynamic time warping algor...
Simon Dixon, Gerhard Widmer