This paper focuses on the cross-layer issue of resource allocation for energy efficiency in the uplink of a multiuser MIMO wireless communication system. Assuming that all of the ...
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
In this paper we present and evaluate uncoordinated on-line algorithms for simultaneous storage and replication load-balancing in DHT-based peer-to-peer systems. We compare our ap...
Many Intelligent Tutoring Systems (ITSs) have started to incorporate game-based components in an attempt to improve student engagement during system interactions. iSTART-ME is a ne...
G. Tanner Jackson, Natalie L. Davis, Danielle S. M...
iSTART is an intelligent tutoring system (ITS) designed to improve students’ reading comprehension. Previous studies have indicated that iSTART is successful; however, these stu...