Sciweavers

1192 search results - page 45 / 239
» Computing Weakest Readings
Sort
View
ACL2
2006
ACM
15 years 8 months ago
Memories: array-like records for ACL2
We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad
Jared Davis
CVPR
2004
IEEE
16 years 3 months ago
Computing Depth under Ambient Illumination Using Multi-Shuttered Light
Range imaging has become a critical component of many computer vision applications. The quality of the depth data is of critical importance, but so is the need for speed. Shuttere...
Héctor H. González-Baños, Jam...
SIGCSE
2006
ACM
188views Education» more  SIGCSE 2006»
15 years 7 months ago
A data mining course for computer science: primary sources and implementations
An undergraduate elective course in data mining provides a strong opportunity for students to learn research skills, practice data structures, and enhance their understanding of a...
David R. Musicant
128
Voted
JIIS
2008
104views more  JIIS 2008»
15 years 1 months ago
Transaction Management for Flash Media Databases in Portable Computing Environments
Flash memory is becoming a major database storage in building embedded systems or portable devices because of its non-volatile, shock-resistant, power-economic nature, and fast acc...
Siwoo Byun
CSEE
2009
Springer
15 years 8 months ago
Evaluating Software Inspection Cognition Levels Using Bloom's Taxonomy
This paper reports on results from a pilot study that used Bloom’s Taxonomy to observe cognition levels during software inspections conducted by undergraduate computer science a...
David A. McMeekin, Brian R. von Konsky, Elizabeth ...