Sciweavers

4806 search results - page 807 / 962
» Interactive uncertainty analysis
Sort
View
AMR
2003
Springer
179views Multimedia» more  AMR 2003»
15 years 11 months ago
Building User Models from Observations of Users Accessing Multimedia Learning Objects
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
Judy Kay, Andrew Lum
ATAL
2003
Springer
15 years 11 months ago
Walverine: a Walrasian trading agent
TAC-02 was the third in a series of Trading Agent Competition events fostering research in automating trading strategies by showcasing alternate approaches in an open-invitation m...
Shih-Fen Cheng, Evan Leung, Kevin M. Lochner, Kevi...
ATAL
2003
Springer
15 years 11 months ago
Towards interest-based negotiation
Negotiation is essential in settings where agents have conflicting interests and a desire to cooperate. In many approaches, agents are assumed to have pre-set, fixed preferences...
Iyad Rahwan, Liz Sonenberg, Frank Dignum
CAISE
2003
Springer
15 years 11 months ago
Goal-Oriented Requirements Engineering: A Case Study in E-government
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...
Paolo Donzelli, Paolo Bresciani
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 11 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...