4914 search results - page 349 / 983 » Arbitration of a help system |
172
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
165
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Motivated by the increasing heterogeneity and complexity of MPSoC systems, we propose a component-based generic approach for MPSoC observation. We show that components...
183
click to vote
AIIA
2009
Springer
16 years 1 months ago
2009
Springer
With traditional Question Answering (QA) systems having reached nearly satisfactory performance, an emerging challenge is the development of successful Interactive Question Answeri...
112
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
: Both gaming the system (taking advantage of the system’s feedback and help to succeed in the tutor without learning the material) and being off-task (engaging in behavior that ...
198
Voted
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...