12673 search results - page 11 / 2535 » Learning while designing |
ICSE
2007
IEEE-ACM
2007
IEEE-ACM
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
14 years 7 months ago
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...
KDD
2010
ACM
13 years 9 months ago
2010
ACM
We propose a method to train a cascade of classifiers by simultaneously optimizing all its stages. The approach relies on the idea of optimizing soft cascades. In particular, inst...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
ICALT
2006
IEEE
14 years 1 months ago
2006
IEEE
LAMS (the Learning Activity Management System) is a Learning Design system with a particular focus on sequencing of collaborative learning activities. This paper reviews a number ...