Results 1 - 10 of 70,643

Kassandra: The Automatic Grading System

by Urs Von Matt - SIGCUE Outlook , 1994
"... An automatic grading system is presented for grading assignments in scientific computing. A student can interactively use this system to check the correctness of his program assignments. The grade for a correct solution is automatically recorded. This paper also considers the security problems with ..."
Abstract - Cited by 14 (0 self) - Add to MetaCart
An automatic grading system is presented for grading assignments in scientific computing. A student can interactively use this system to check the correctness of his program assignments. The grade for a correct solution is automatically recorded. This paper also considers the security problems

An Automatic Grading System for Panels Surfaces Using

by Cristhian Aguilera, Mario Ramos, Gabriel Roa - Artificial Vision, International Journal of Computers, Communications and Control , 2006
"... Abstract: This work describes an automatic grading system using artificial vision to improve the quality of wood panels surfaces. The objective is to control stains on the surface. Artificial Vision techniques like Thresholding and Transformed Watershed methods are applied. Defects quantitative meas ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
Abstract: This work describes an automatic grading system using artificial vision to improve the quality of wood panels surfaces. The objective is to control stains on the surface. Artificial Vision techniques like Thresholding and Transformed Watershed methods are applied. Defects quantitative

AN AUTOMATIC GRADING SYSTEM BASED ON MACHINE VISION

by Smita Shelke, Prof A. P Phatale
"... ..."
Abstract - Add to MetaCart
Abstract not found

Automatic Grading System for Mandarin Proficiency Test based on PSO-ANN

by Yang Liu, Chunting Yang
"... to be completed by computer-aided evaluation, not only can remove the human factor to establish uniform standards, but also save time, improve efficiency, accelerate the promotion and popularization of mandarin. In this paper, we focus on the optimization of artificial neural network by PSO for auto ..."
Abstract - Add to MetaCart
for automatic grading the NMPT. A framework of the automatic grading system for mandarin proficiency is presented. The system included three modules which are pronunciation parameter database, evaluation model and automatic grading module. The PSO algorithm is utilized to adjust the connection weights

Automatic labeling of semantic roles

by Daniel Gildea - Computational Linguistics , 2002
"... We present a system for identifying the semantic relationships, or semantic roles, filled by constituents of a sentence within a semantic frame. Various lexical and syntactic features are derived from parse trees and used to derive statistical classifiers from hand-annotated training data. 1 ..."
Abstract - Cited by 747 (15 self) - Add to MetaCart
We present a system for identifying the semantic relationships, or semantic roles, filled by constituents of a sentence within a semantic frame. Various lexical and syntactic features are derived from parse trees and used to derive statistical classifiers from hand-annotated training data. 1

Controlled and automatic human information processing

by Walter Schneider, Richard M. Shiffrin - I. Detection, search, and attention. Psychological Review , 1977
"... A two-process theory of human information processing is proposed and applied to detection, search, and attention phenomena. Automatic processing is activa-tion of a learned sequence of elements in long-term memory that is initiated by appropriate inputs and then proceeds automatically—without subjec ..."
Abstract - Cited by 874 (16 self) - Add to MetaCart
A two-process theory of human information processing is proposed and applied to detection, search, and attention phenomena. Automatic processing is activa-tion of a learned sequence of elements in long-term memory that is initiated by appropriate inputs and then proceeds automatically

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

by Cristian Cadar, Daniel Dunbar, Dawson Engler
"... We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to thoroughly check all 89 stand-alone programs in the GNU COREUTILS utility suite, which form the cor ..."
Abstract - Cited by 557 (15 self) - Add to MetaCart
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to thoroughly check all 89 stand-alone programs in the GNU COREUTILS utility suite, which form

Automatic verification of finite-state concurrent systems using temporal logic specifications

by E. M. Clarke, E. A. Emerson, A. P. Sistla - ACM Transactions on Programming Languages and Systems , 1986
"... We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a (propositional, branching-time) temporal logic. Our algorithm has complexity linear in both the size of the specification and the size of the global state graph for the concurrent ..."
Abstract - Cited by 1388 (62 self) - Add to MetaCart
We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a (propositional, branching-time) temporal logic. Our algorithm has complexity linear in both the size of the specification and the size of the global state graph for the concurrent

Term-weighting approaches in automatic text retrieval

by Gerard Salton, Christopher Buckley - INFORMATION PROCESSING AND MANAGEMENT , 1988
"... The experimental evidence accumulated over the past 20 years indicates that text indexing systems based on the assignment of appropriately weighted single terms produce retrieval results that are superior to those obtainable with other more elaborate text representations. These results depend crucia ..."
Abstract - Cited by 2189 (10 self) - Add to MetaCart
crucially on the choice of effective term-weighting systems. This article summarizes the insights gained in automatic term weighting, and provides baseline single-term-indexing models with which other more elaborate content analysis procedures can be compared.

Automatic predicate abstraction of C programs

by Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - IN PROC. ACM PLDI , 2001
"... Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However, state-space explosion limits the applicability of model checking tools, so model checkers typically operate on abstractions of systems. Recently, there has been significant in ..."
Abstract - Cited by 488 (33 self) - Add to MetaCart
interest in applying model checking to software. For infinite-state systems like software, abstraction is even more critical. Techniques for abstracting software are a prerequisite to making software model checking a reality. We present the first algorithm to automatically construct a predicate abstraction
Results 1 - 10 of 70,643