Sciweavers

3729 search results - page 325 / 746
» On Formal Modeling of Agent Computations
Sort
View
AAAI
1998
15 years 8 months ago
Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
Abigail S. Gertner, Cristina Conati, Kurt VanLehn
MMAS
2010
Springer
15 years 1 months ago
Incorporating Active Transport of Cellular Cargo in Stochastic Mesoscopic Models of Living Cells
We propose a new multiscale method to incorporate active transport of cargo particles in biological cells in stochastic, mesoscopic models of reaction-transport processes. Given a...
Andreas Hellander, Per Lötstedt
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 6 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
CORR
2004
Springer
85views Education» more  CORR 2004»
15 years 6 months ago
A dynamical model of a GRID market
We discuss potential market mechanisms for the GRID. A complete dynamical model of a GRID market is defined with three types of agents. Providers, middlemen and users exchange uni...
Uli Harder, Peter G. Harrison, Maya Paczuski, Teja...
ICTAI
2009
IEEE
16 years 1 months ago
Translation of an Argumentation Framework into a CP-Boolean Game
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
Elise Bonzon, Caroline Devred, Marie-Christine Lag...