714 search results - page 66 / 143 » Models and Tools for Collaborative Annotation |
243
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
128
click to vote
SWAP
2007
15 years 4 months ago
2007
The organization of the knowledge on the web is increasingly becoming a social task performed by online communities whose members share a common interest in classifying different t...
106
click to vote
CBMS
2009
IEEE
15 years 10 months ago
2009
IEEE
The dramatic increase in data in the area of cancer research has elevated the importance of effectively managing the quality and consistency of research results from multiple prov...
147
click to vote
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
The University of Washington’s Classroom Presenter lecturing system enables an active lecturing environment by combining a standard electronic slide presentation format with the...
140
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...