Sciweavers

258 search results - page 35 / 52
» The dynamics of deterministic systems - A survey
Sort
View
JNW
2008
164views more  JNW 2008»
14 years 11 months ago
Improving Multi-Agent Based Resource Coordination in Peer-to-Peer Networks
The distributed nature of peer-to-peer networks offers a solid ground for the deployment of environments where multiple agents, managing several resources, can cooperate in pursuin...
António Luis Lopes, Luís Miguel Bote...
ICALT
2010
IEEE
14 years 9 months ago
Modelling Affect in Learning Environments - Motivation and Methods
Emotions have a functional relevance to learning and achievement. Not surprisingly then, affective diagnoses are an important aspect of expert human mentoring. Computerbased learni...
Shazia Afzal, Peter Robinson
OTM
2010
Springer
14 years 9 months ago
Towards Duplicate Detection for Situation Awareness Based on Spatio-temporal Relations
Abstract. Systems supporting situation awareness typically integrate information about a large number of real-world objects anchored in time and space provided by multiple sources....
Norbert Baumgartner, Wolfgang Gottesheim, Stefan M...
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
14 years 9 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
CORR
2010
Springer
180views Education» more  CORR 2010»
14 years 8 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren