Sciweavers

500 search results - page 16 / 100
» Document frequency and term specificity
Sort
View
DAC
2002
ACM
14 years 12 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
FDL
2003
IEEE
14 years 4 months ago
UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
A. Minosi, S. Mankan, A. Martinola, F. Balzarini, ...
ACL
2003
14 years 9 days ago
A Novel Approach to Semantic Indexing Based on Concept
This paper suggests the efficient indexing method based on a concept vector space that is capable of representing the semantic content of a document. The two information measure,...
Bo-Yeong Kang
DOCENG
2009
ACM
14 years 5 months ago
From rhetorical structures to document structure: shallow pragmatic analysis for document engineering
In this paper, we extend previous work on the automatic structuring of medical documents using content analysis. Our long-term objective is to take advantage of specific rhetoric ...
Gersende Georg, Hugo Hernault, Marc Cavazza, Helmu...
ECIR
2007
Springer
14 years 11 days ago
A Bayesian Approach for Learning Document Type Relevance
Retrieval accuracy can be improved by considering which document type should be filtered out and which should be ranked higher in the result list. Hence, document type can be used...
Peter C. K. Yeung, Stefan Büttcher, Charles L...