Sciweavers

10271 search results - page 512 / 2055
» Computer Science
Sort
View
164
Voted
CAD
1998
Springer
15 years 6 months ago
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
Xiao-Shan Gao, Shang-Ching Chou
148
Voted
SIGCSE
2009
ACM
111views Education» more  SIGCSE 2009»
16 years 7 months ago
Using daily student presentations to address attitudes and communication skills in CS1
Many CS1 courses lack a breadth in coverage of computing related topics and do not actively engage in nonprogramming computer science topics. In addition, many introductory (and...
Chris Bennett, Timothy Urness
SIGCSE
2010
ACM
155views Education» more  SIGCSE 2010»
16 years 1 months ago
Women in CS: an evaluation of three promising practices
Historically, Harvey Mudd College (HMC) has had very little success attracting women to the study of computer science: women have chosen CS less than any other field of study. In...
Christine Alvarado, Zachary Dodds

Book
269views
17 years 4 months ago
Type Systems for Programming Languages
"These notes were prepared for use in the graduate course Computer Science 15– 814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is ...
Robert Harper

Book
2455views
17 years 4 months ago
Art of Programming Contest - C Programming Tutorials | Data Structures | Algorithms
"The objective of this edition is not only to assist the contestants during the contest hours but also describing the core subjects of Computer Science such as C Programming, ...
Ahmed Shamsul Arefin