Sciweavers

1192 search results - page 45 / 239
» Computing Weakest Readings
Sort
View
ACL2
2006
ACM
15 years 5 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 1 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 5 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
JIIS
2008
104views more  JIIS 2008»
14 years 11 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 6 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 ...