Sciweavers

1002 search results - page 15 / 201
» A Computer Aided Grading System for Subjective Tests
Sort
View
DAC
2002
ACM
15 years 10 months ago
Transformation based communication and clock domain refinement for system design
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
Ingo Sander, Axel Jantsch
ACMSE
2004
ACM
15 years 3 months ago
Specification-driven automated testing of GUI-based Java programs
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
Yanhong Sun, Edward L. Jones
73
Voted
DAC
2004
ACM
15 years 3 months ago
A new state assignment technique for testing and low power
In order to improve the testabilities and power consumption, a new state assignment technique based on m-block partition is introduced in this paper. The length and number of feed...
Sungju Park, Sangwook Cho, Seiyang Yang, Maciej J....
KDD
2007
ACM
132views Data Mining» more  KDD 2007»
15 years 10 months ago
LungCAD: a clinically approved, machine learning system for lung cancer detection
We present LungCAD, a computer aided diagnosis (CAD) system that employs a classification algorithm for detecting solid pulmonary nodules from CT thorax studies. We briefly descri...
R. Bharat Rao, Jinbo Bi, Glenn Fung, Marcos Salgan...
80
Voted
SIGCSE
1997
ACM
113views Education» more  SIGCSE 1997»
15 years 1 months ago
Online evaluation in WWW-based courseware
The QUIZIT system has been developed to support adaptive as well as standard testing, along with automatic grading and record keeping, using the WWW as a delivery vehicle. In conn...
Lúcio Cunha Tinoco, N. Dwight Barnette, Edw...