Sciweavers

3729 search results - page 505 / 746
» On Formal Modeling of Agent Computations
Sort
View
CORR
2006
Springer
123views Education» more  CORR 2006»
15 years 6 months ago
Directed animals in the gas
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
Yvan Le Borgne, Jean-François Marckert
TVCG
2012
201views Hardware» more  TVCG 2012»
13 years 9 months ago
Exact and Approximate Area-Proportional Circular Venn and Euler Diagrams
— Scientists conducting microarray and other experiments use circular Venn and Euler diagrams to analyze and illustrate their results. As one solution to this problem, this artic...
Leland Wilkinson
TKDE
2002
115views more  TKDE 2002»
15 years 6 months ago
An Approach of Implementing General Learning Companions for Problem Solving
Adding a learning companion, a computer simulated social agent, to a computer based learning system can enhance its educational value by enriching the way in which the computer and...
Chih-Yueh Chou, Tak-Wai Chan, Chi-Jen Lin
ASM
2004
ASM
16 years 5 hour ago
Observations on the Decidability of Transitions
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
Yuri Gurevich, Rostislav Yavorskiy
CORR
2008
Springer
172views Education» more  CORR 2008»
15 years 6 months ago
Altruism in Congestion Games
This paper studies the effects of introducing altruistic agents into atomic congestion games. Altruistic behavior is modeled by a trade-off between selfish and social objectives. ...
Martin Hoefer, Alexander Skopalik