Sciweavers

606 search results - page 97 / 122
» Intelligent Learning Agents for Music-Based Interaction and ...
Sort
View
126
Voted
APN
2008
Springer
15 years 2 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
DALT
2009
Springer
15 years 7 months ago
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks
Online social networks are enjoying drastic increase in their population and connectivity. One of the fundamental issues in these networks is trust, which is an essential factor in...
Babak Khosravifar, Jamal Bentahar, Maziar Gomrokch...
TVCG
2008
118views more  TVCG 2008»
15 years 10 days ago
Visual Perception and Mixed-Initiative Interaction for Assisted Visualization Design
This paper describes the integration of perceptual guidelines from human vision with an AI-based mixed-initiative search strategy. The result is a visualization assistant called Vi...
Christopher G. Healey, Sarat Kocherlakota, Vivek R...
ESAW
2009
Springer
15 years 7 months ago
Determining the Trustworthiness of New Electronic Contracts
Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establishment, fulfilment, renegotiation et...
Paul T. Groth, Simon Miles, Sanjay Modgil, Nir Ore...
112
Voted
ATAL
2010
Springer
15 years 1 months ago
Optimal temporal decoupling in multiagent systems
When agents need to interact in order to solve some (possibly common) problem, resolving potential conflicts beforehand is often preferred to coordination during execution. Agents...
Léon Planken, Mathijs de Weerdt, Cees Witte...