Sciweavers

6704 search results - page 1081 / 1341
» Testing Scenario-Based Models
Sort
View
CHI
2002
ACM
16 years 4 months ago
Cognitive walkthrough for the web
This paper proposes a transformation of the Cognitive Walkthrough (CW), a theory-based usability inspection method that has proven useful in designing applications that support us...
Marilyn Hughes Blackmon, Peter G. Polson, Muneo Ki...
CHI
2001
ACM
16 years 4 months ago
Locus of feedback control in computer-based tutoring: impact on learning rate, achievement and attitudes
The advent of second-generation intelligent computer tutors raises an important instructional design question: when should tutorial advice be presented in problem solving? This pa...
Albert T. Corbett, John R. Anderson
POPL
2008
ACM
16 years 4 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...
RECOMB
2002
Springer
16 years 4 months ago
Combining pairwise sequence similarity and support vector machines for remote protein homology detection
One key element in understanding the molecular machinery of the cell is to understand the meaning, or function, of each protein encoded in the genome. A very successful means of i...
Li Liao, William Stafford Noble
OSDI
2008
ACM
16 years 4 months ago
Greening the Switch
Active research is being conducted in reducing power consumption of all the components of the Internet. To that end, we propose schemes for power reduction in network switches - T...
Ganesh Ananthanarayanan, Randy H. Katz
« Prev « First page 1081 / 1341 Last » Next »