Sciweavers

2218 search results - page 235 / 444
» Testing Expressibility Is Hard
Sort
View
77
Voted
AIED
2009
Springer
15 years 7 months ago
Automated Assessment of Oral Reading Prosody
We describe an automated method to assess the expressiveness of children’s oral reading by measuring how well its prosodic contours correlate in pitch, intensity, pauses, and wor...
Jack Mostow, Minh Duong
86
Voted
APLAS
2009
ACM
15 years 7 months ago
Fractional Ownerships for Safe Memory Deallocation
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
Kohei Suenaga, Naoki Kobayashi
FOAL
2009
ACM
15 years 7 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr
76
Voted
HICSS
2008
IEEE
107views Biometrics» more  HICSS 2008»
15 years 7 months ago
Does Knowledge Management Pay Off?
The resource-based theory of the firm attributes superior firm performance to organizational resources that are valuable, rare, irreplaceable, and not readily reproduced. Aligned ...
Clyde W. Holsapple, Jiming Wu
113
Voted
SCAM
2008
IEEE
15 years 7 months ago
Fast and Precise Points-to Analysis
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...
Jonas Lundberg, Tobias Gutzmann, Welf Löwe