Sciweavers

1016 search results - page 122 / 204
» Automatic Analysis of Programming Assignments
Sort
View
99
Voted
COR
2010
164views more  COR 2010»
15 years 3 months ago
The distributed permutation flowshop scheduling problem
This paper studies a new generalization of the regular permutation flowshop scheduling problem (PFSP) referred to as the distributed permutation flowshop scheduling problem or DPF...
B. Naderi, Rubén Ruiz
BIRTHDAY
2003
Springer
15 years 8 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
130
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
Lightweight Extraction of Object Models from Bytecode
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...
Daniel Jackson, Allison Waingold
ICFP
1997
ACM
15 years 7 months ago
Implementing Bit-addressing with Specialization
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
Scott Draves
ROBOCUP
2004
Springer
138views Robotics» more  ROBOCUP 2004»
15 years 8 months ago
An Algorithm That Recognizes and Reproduces Distinct Types of Humanoid Motion Based on Periodically-Constrained Nonlinear PCA
Abstract. This paper proposes a new algorithm for the automatic segmentation of motion data from a humanoid soccer playing robot that allows feedforward neural networks to generali...
Rawichote Chalodhorn, Karl F. MacDorman, Minoru As...