Sciweavers

Share
ECAI
2008
Springer
9 years 8 months ago
Infection-Based Norm Emergence in Multi-Agent Complex Networks
We propose a computational model that facilitates agents in a MAS to collaboratively evolve their norms to reach the best norm conventions. Our approach borrows from the social con...
Norman Salazar, Juan A. Rodríguez-Aguilar, ...
AMI
2008
Springer
9 years 9 months ago
Adaptive Estimation of Emotion Generation for an Ambient Agent Model
To improve the performance and wellbeing of humans in complex human-computer interaction settings, an interesting challenge for an ambient (or pervasive) agent system is to recogni...
Tibor Bosse, Zulfiqar A. Memon, Jan Treur
AAAI
2007
9 years 9 months ago
Mutual Belief Revision: Semantics and Computation
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
Yi Jin, Michael Thielscher, Dongmo Zhang
BIBM
2009
IEEE
140views Bioinformatics» more  BIBM 2009»
9 years 10 months ago
A Protein-Protein Interaction Prediction Method Embracing Intra-protein Domain Cohesion Information
Recently, many computational methods for predicting protein-protein interaction (PPI) have been developed by utilizing domain-domain interaction or associated information. However...
Woo-Hyuk Jang, Suk Hoon Jung, Bo-ra Hyun, Dong-Soo...
UKCBR
1995
9 years 10 months ago
Self-Questioning and Experimentation: An Index Vocabulary of Situated Interaction
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...
Rüdiger Oehlmann, Peter Edwards, Derek H. Sle...
CRYPTO
2006
Springer
125views Cryptology» more  CRYPTO 2006»
9 years 10 months ago
Automated Security Proofs with Sequences of Games
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
Bruno Blanchet, David Pointcheval
FOCS
2004
IEEE
9 years 10 months ago
On the Streaming Model Augmented with a Sorting Primitive
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
Gagan Aggarwal, Mayur Datar, Sridhar Rajagopalan, ...
ATAL
2006
Springer
9 years 10 months ago
Action awareness: enabling agents to optimize, transform, and coordinate plans
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...
Freek Stulp, Michael Beetz
ECAI
1998
Springer
9 years 11 months ago
Algebraic Topology for Knowledge Representation in Analogy Solving
We propose a computational model for analogy solving based on a topological formalism of representation. The source and the target analogs are represented as simplexes and the anal...
Erika Valencia, Jean-Louis Giavitto, Jean-Paul San...
COLLABORATION
1999
Springer
9 years 11 months ago
Shifting the Focus from Control to Communication: the STReams OBjects Environments Model of Communicating Agents
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
Stefano A. Cerri
books