553 search results - page 67 / 111 » Learning Meets Verification |
APSEC
2002
IEEE
14 years 2 months ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
PVLDB
2008
13 years 9 months ago
2008
The number of potentially-related data resources available for querying -- databases, data warehouses, virtual integrated schemas -continues to grow rapidly. Perhaps no area has s...
BMCBI
2008
13 years 8 months ago
2008
Background: During the most recent decade many Bayesian statistical models and software for answering questions related to the genetic structure underlying population samples have...
ICDM
2009
IEEE
13 years 7 months ago
2009
IEEE
The amount of text data on the Internet is growing at a very fast rate. Online text repositories for news agencies, digital libraries and other organizations currently store gigaan...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
This paper presents a novel approach of using web log data generated by course management systems (CMS) to help instructors become aware of what is happening in distance learning ...