Sciweavers

13271 search results - page 362 / 2655
» Computers, Programming, and People
Sort
View
158
Voted
SIGCSE
2009
ACM
127views Education» more  SIGCSE 2009»
15 years 11 months ago
Acm education board and masters level programs
This special session will proved information about the status of work related to Masters programs in Computing. Specifically, the session will describe work completed in the follo...
Gordon Davies, Lillian N. Cassel, Arthur B. Pyster...
SCCC
1998
IEEE
15 years 11 months ago
Dynamic Programming as Frame for Efficient Parsing
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
Manuel Vilares Ferro, Miguel A. Alonso, David Cabr...
SIGADA
2007
Springer
16 years 25 days ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
SIGCSE
2006
ACM
117views Education» more  SIGCSE 2006»
16 years 20 days ago
Visual programming and the blind: the challenge and the opportunity
The proliferation of graphical user interfaces has had a dramatic impact on the ability to work as a programmer. It is particularly difficult for the blind to create forms for vis...
Robert M. Siegfried
PADL
2005
Springer
16 years 6 days ago
Character-Based Cladistics and Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
Daniel R. Brooks, Esra Erdem, James W. Minett, Don...