— As an emerging research method to deal with information and knowledge processing, various topics of granular computing have recently received more attention by researchers. The...
Based on our findings from an ongoing pilot with shared computers in rural primary schools in Uttar Pradesh, India since 2001 and two follow-up field studies in the same schools i...
Matthew Kam, Divya Ramachandran, Urvashi Sahni, Jo...
The preference model introduced in this paper gives a natural framework and a principled solution for a broad class of supervised learning problems with structured predictions, su...
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
DependencyViewer helps to control package dependencies to avoid degeneration of package designs. To this end it computes design quality metrics including stabilabstractness for ea...