Sciweavers

1399 search results - page 250 / 280
» Verification of Test Suites
Sort
View
ACL
2012
12 years 1 months ago
Computational Approaches to Sentence Completion
This paper studies the problem of sentencelevel semantic coherence by answering SATstyle sentence completion questions. These questions test the ability of algorithms to distingui...
Geoffrey Zweig, John C. Platt, Christopher Meek, C...
DAC
2005
ACM
14 years 12 months ago
Designing logic circuits for probabilistic computation in the presence of noise
As Si CMOS devices are scaled down into the nanoscale regime, current computer architecture approaches are reaching their practical limits. Future nano-architectures will confront...
Kundan Nepal, R. Iris Bahar, Joseph L. Mundy, Will...
CHI
2009
ACM
14 years 11 months ago
A comparative study of interaction metaphors for large-scale displays
Large screen displays require new interaction techniques because of their physical size. Even though there are technologies that tackle the problem of interaction with such device...
Ricardo Jota, João Madeiras Pereira, Joaqui...
ITICSE
1997
ACM
14 years 3 months ago
Computer managed, open question, open book assessment
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
John Rosbottom
SIGCSE
2002
ACM
152views Education» more  SIGCSE 2002»
13 years 10 months ago
Learning styles and performance in the introductory programming sequence
This paper reports on the implication of different preferred learning styles on students'performance in the introductory programming sequence and on work in progress on how t...
Lynda Thomas, Mark Ratcliffe, John Woodbury, Emma ...