Sciweavers

17920 search results - page 38 / 3584
» Recentering computer science
Sort
View
TAPSOFT
1997
Springer
14 years 2 months ago
What Does the Future Hold for Theoretical Computer Science?
Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.
Donald Sannella
FPLE
1995
14 years 1 months ago
Basic Proof Skills of Computer Science Students
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...
Pieter H. Hartel, Bert van Es, Dick Tromp
FLAIRS
2007
14 years 6 days ago
Introductory AI for Both Computer Science and Neuroscience Students
Macalester College offers a single undergraduate elective in artificial intelligence. This course is cross-listed between Computer Science and Cognitive and Neuroscience Studies,...
Susan Eileen Fox
SERVICES
2008
94views more  SERVICES 2008»
13 years 11 months ago
Using Characteristics of Computational Science Schemas for Workflow Metadata Management
Computational science workflows are generating an ever-increasing volume of data products. Metadata for these workflows is communicated using one or more discipline-specific schem...
Scott Jensen, Beth Plale
ACSE
2000
ACM
14 years 2 months ago
Software testing in the computer science curriculum -- a holistic approach
Although testing accounts for 50% of the cost of software, it receives little treatment in most curricula. This paper presents some approaches to giving all students multiple, inc...
Edward L. Jones