Sciweavers

51 search results - page 7 / 11
» Early Curricula in Computer Science at the University of Ice...
Sort
View
CSEE
2000
Springer
14 years 2 days ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
ACRI
2006
Springer
14 years 1 months ago
Modeling Crowd Behavior Based on Social Comparison Theory: Extended Abstract
on Theory: Extended Abstract Natalie Fridman and Gal Kaminka Bar Ilan University, Israel The MAVERICK Group Computer Science Department {fridman,galk}cs.biu.ac.il Abstract. Modelin...
Natalie Fridman, Gal A. Kaminka
ISBI
2008
IEEE
14 years 8 months ago
Distributed online anomaly detection in high-content screening
This paper presents an automated, online approach to anomaly detection in high-content screening assays for pharmaceutical research. Online detection of anomalies is attractive be...
Adam Goode, Rahul Sukthankar, Lily B. Mummert, Mei...
IIE
2007
130views more  IIE 2007»
13 years 7 months ago
An Iterative Methodology for Teaching Object Oriented Concepts
Abstract thinking is a vital skill when learning computer science. Object technology and the concepts it is based upon make this skill even more crucial. However, previous research...
Irit Hadar, Ethan Hadar
SIGCSE
2006
ACM
148views Education» more  SIGCSE 2006»
14 years 1 months ago
Back to basics in CS1 and CS2
This paper describes a significant redesign of the introductory courses at the University of Washington that has led to increased enrollments, increased student satisfaction and a...
Stuart Reges