1209 search results - page 158 / 242 » Universal Algebra and Computer Science |
108
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
112
Voted
ACE
2004
15 years 4 months ago
2004
This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...
84
Voted
ACE
2004
15 years 4 months ago
2004
As the scope of computer science continues to expand and move further into inter-disciplinary research, we see communication skills development (CSD) gain prominence in tertiary c...
AAAI
2006
15 years 4 months ago
2006
We describe a number of efforts to engage university students with robotics through teaching and outreach. Teaching runs the gamut from undergraduate introductory computer science...
ACE
2003
15 years 4 months ago
2003
The paper has two purposes: rst, we argue that natural language processing, and particularly those aspects of that eld often referred to as language technology, should play an imp...