Sciweavers

729 search results - page 37 / 146
» A practical method for courseware evaluation
Sort
View
IWC
2006
64views more  IWC 2006»
13 years 7 months ago
Levels of automation and user participation in usability testing
This paper identifies a number of factors involved in current practices of usability testing and presents profiles for three prototype methods: think-aloud, subjective ratings, an...
Kent L. Norman, Emanuele Panizzi
ENTCS
2008
64views more  ENTCS 2008»
13 years 7 months ago
Model-based Theory Combination
Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
MICCAI
2010
Springer
13 years 5 months ago
Fast Automatic Detection of Calcified Coronary Lesions in 3D Cardiac CT Images
Abstract. Even with the recent advances in multidetector computed tomography (MDCT) imaging techniques, detection of calcified coronary lesions remains a highly tedious task. Noise...
Sushil Mittal, Yefeng Zheng, Bogdan Georgescu, Fer...
PLDI
1999
ACM
14 years 26 min ago
Load-Reuse Analysis: Design and Evaluation
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
Rastislav Bodík, Rajiv Gupta, Mary Lou Soff...
IS
2002
13 years 7 months ago
Evaluation of concurrency control strategies for mixed soft real-time database systems
Previous research in real-time concurrency control mainly focuses on the schedulability guarantee of hard real-time transactions and the reducing of the miss rate of soft real-tim...
Kam-yiu Lam, Tei-Wei Kuo, Ben Kao, Tony S. H. Lee,...