Sciweavers

467 search results - page 74 / 94
» Comparing Representations for Learner Models in Interactive ...
Sort
View
ATAL
2001
Springer
14 years 1 months ago
Simple Negotiating Agents in Complex Games:
We present a simple model of distributed multi-agent multi-issued contract negotiation for open systems where interactions are competitive and information is private and not shared...
Peyman Faratin, Mark Klein, Hiroki Sayama, Yaneer ...
LICS
1994
IEEE
14 years 22 days ago
Subtyping and Parametricity
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
Gordon D. Plotkin, Martín Abadi, Luca Carde...
ACS
2004
13 years 8 months ago
A Categorical Approach to Threshold Agent Networks
Threshold agent networks (TANs) constitute a discretized modification of threshold (also known as neural) networks that are appropriate for modeling computer simulations. In this p...
George Voutsadakis
EUROMICRO
1996
IEEE
14 years 23 days ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
CP
2011
Springer
12 years 8 months ago
Skill-based differences in option generation in a complex task: a verbal protocol analysis
In recent models of decision-making, cognitive scientists have examined the relationship between option generation and successful performance. These models suggest that those who a...
Paul Ward, Joel Suss, David W. Eccles, A. Mark Wil...