Sciweavers

172 search results - page 2 / 35
» Validating SDL Specifications: an Experiment
Sort
View
TREC
2004
13 years 6 months ago
Domain-Specific Synonym Expansion and Validation for Biomedical Information Retrieval (MultiText Experiments for TREC 2004)
In the domain of biomedical publications, synonyms and homonyms are omnipresent and pose a great challenge for document retrieval systems. For this year's TREC Genomics Ad ho...
Stefan Büttcher, Charles L. A. Clarke, Gordon...
TCAD
2010
121views more  TCAD 2010»
13 years 1 days ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
WETICE
1996
IEEE
13 years 9 months ago
Independent validation of specifications: a coordination headache
Large, complex projects face significant barriers to coordination and communication due to continuous, rapid changes during a project's lifecycle. Such changes must be tracke...
Steve M. Easterbrook, John R. Callahan
EUROMICRO
1999
IEEE
13 years 9 months ago
Validation of Object Oriented Models using Animation
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
Ian Oliver, Stuart Kent
IR
2010
13 years 2 months ago
FIDJI: using syntax for validating answers in multiple documents
This article presents FIDJI, a question-answering (QA) system for French. FIDJI combines syntactic information with traditional QA techniques such as named entity recognition and t...
Véronique Moriceau, Xavier Tannier