Sciweavers

1678 search results - page 47 / 336
» An ASM Specification of C
Sort
View
NLDB
2001
Springer
14 years 1 days ago
Lexical Enrichment of WordNet with Classification Systems Using Specification Marks Method
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
Andrés Montoyo, Manuel Palomar, German Riga...
EWCBR
2004
Springer
13 years 11 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
FATES
2004
Springer
13 years 11 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
BIOCOMP
2008
13 years 9 months ago
Specificity Normalization for Identifying Selective Inhibitors in Virtual Screening
ct The enrichment and recall of known inhibitors in a virtual screen are correlated with the probability of finding effective inhibitors through this process. In practice, a large ...
Reetal Pai, James C. Sacchettini, Thomas R. Ioerge...
EDM
2010
165views Data Mining» more  EDM 2010»
13 years 9 months ago
Using a Bayesian Knowledge Base for Hint Selection on Domain Specific Problems
A Bayesian Knowledge Base is a generalization of traditional Bayesian Networks where nodes or groups of nodes have independence. In this paper we describe a method of generating a ...
John C. Stamper, Tiffany Barnes, Marvin J. Croy