Sciweavers

1351 search results - page 155 / 271
» An Analysis of Inference with the Universum
Sort
View
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
15 years 3 months ago
JUMBL: A Tool for Model-Based Statistical Testing
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
Stacy J. Prowell
ITNG
2010
IEEE
15 years 3 months ago
BAUT: A Bayesian Driven Tutoring System
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya
KBSE
1997
IEEE
15 years 2 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
OWLED
2007
14 years 11 months ago
Ontology Engineering for Product Development
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
Henson Graves
MVA
1992
117views Computer Vision» more  MVA 1992»
14 years 11 months ago
Representing and Utilising Knowledge for Understanding Structured Documents
This paper presents a document analysis system which is capable of extracting the semantics of specific text portions of structured documents. The main component of the system is ...
Thomas Bayer