1559 search results - page 103 / 312 » The Semantics of Future and Its Use in Program Optimizations |
AIED
2009
Springer
15 years 4 months ago
2009
Springer
This paper explores the role that feedback based on past actions and motivational states of the learner can have in a motivationally and metacognitively aware Intelligent Tutoring ...
BIOCOMP
2009
2009
Improving Remote Homology Detection Using Sequence Properties and Position Specific Scoring Matrices
14 years 11 months ago
Current biological sequence comparison tools frequently fail to recognize matches between homologs when sequence similarity is below the twilight zone of less than 25% sequence id...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
SPAA
2009
ACM
15 years 10 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...