Sciweavers

636 search results - page 25 / 128
» Computational Engineering and Science Program at the Univers...
Sort
View
FLAIRS
2007
13 years 10 months ago
Robotics in the Classroom: Providing Robotics Equipment to Support Intelligent Systems Curricula
The authors present how the Institute for Research in Intelligent Systems (IRIS) at California State University, Chico (CSUC) provides access to robotics equipment to support cour...
Benjoe A. Juliano, René S. Renner
TACS
1997
Springer
13 years 12 months ago
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
Alexander Aiken, Edward L. Wimmers, Jens Palsberg
ITICSE
2005
ACM
14 years 1 months ago
Iconic programming for flowcharts, java, turing, etc
One of the largest barriers to learning programming is the precise and complex syntax required to write programs. This barrier is a key impediment to the integration of programmin...
Stephen Chen, Stephen Morris
FOSSACS
2011
Springer
12 years 11 months ago
Irrelevance in Type Theory with a Heterogeneous Equality Judgement
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
Andreas Abel
SIGCSE
2005
ACM
133views Education» more  SIGCSE 2005»
14 years 1 months ago
Designing, implementing, and analyzing a placement test for introductory CS courses
An introductory CS1 course presents problems for educators and students due to students’ diverse background in programming knowledge and exposure. Students who enroll in CS1 als...
Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen N...