Sciweavers

11016 search results - page 593 / 2204
» Cloud Computing for Science
Sort
View
ACL
2008
15 years 8 months ago
The Role of Positive Feedback in Intelligent Tutoring Systems
The focus of this study is positive feedback in one-on-one tutoring, its computational modeling, and its application to the design of more effective Intelligent Tutoring Systems. ...
Davide Fossati
SIGCSE
2006
ACM
156views Education» more  SIGCSE 2006»
16 years 1 months ago
A Virtual Laboratory Model for Encouraging Undergraduate Research
Undergraduate students who perform research benefit greatly from the experience, yet achieving high levels of voluntary participation remains an elusive goal. This paper describes...
Thomas P. Way
SIGITE
2004
ACM
16 years 18 days ago
How information technology professionals keep from being outsourced or offshored
This paper introduces the concept of the “vendible line” partitioning jobs in a company into those that are likely to be lost to outsourcing (onshore or offshore) and those th...
Ron Fulbright, Richard L. Routh
PODC
2012
ACM
13 years 9 months ago
Weak models of distributed computing, with connections to modal logic
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
Lauri Hella, Matti Järvisalo, Antti Kuusisto,...
CCA
2009
Springer
16 years 1 months ago
Realisability and Adequacy for (Co)induction
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
Ulrich Berger