Sciweavers

2748 search results - page 254 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
LREC
2010
144views Education» more  LREC 2010»
15 years 5 months ago
Evaluating Complex Semantic Artifacts
Evaluating complex Natural Language Processing (NLP) systems can prove extremely difficult. In many cases, the best one can do is to evaluate these systems indirectly, by looking ...
Christopher R. Walker, Hannah Copperman
BMCBI
2010
104views more  BMCBI 2010»
15 years 4 months ago
Analysis of protein-protein docking decoys using interaction fingerprints: application to the reconstruction of CaM-ligand compl
Background: Protein-protein docking for proteins with large conformational changes was analyzed by using interaction fingerprints, one of the scales for measuring similarities amo...
Nobuyuki Uchikoga, Takatsugu Hirokawa
BMCBI
2010
189views more  BMCBI 2010»
15 years 4 months ago
High quality protein sequence alignment by combining structural profile prediction and profile alignment using SABERTOOTH
Background: Protein alignments are an essential tool for many bioinformatics analyses. While sequence alignments are accurate for proteins of high sequence similarity, they become...
Florian Teichert, Jonas Minning, Ugo Bastolla, Mar...
TODAES
2002
134views more  TODAES 2002»
15 years 3 months ago
False-noise analysis using logic implications
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
Alexey Glebov, Sergey Gavrilov, David Blaauw, Vlad...
159
Voted
ICSM
2007
IEEE
15 years 10 months ago
Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...
Scott McMaster, Atif M. Memon