Sciweavers

3804 search results - page 79 / 761
» From Here to There
Sort
View
INFSOF
2000
110views more  INFSOF 2000»
15 years 6 months ago
Partition testing with usage models
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
Kirk Sayre, Jesse H. Poore
ACL
1992
15 years 7 months ago
Integrating Multiple Knowledge Sources for Detection and Correction of Repairs in Human-Computer Dialog
We have analyzed 607 sentences of spontaneous human-computer speech data containing repairs, drawn from a total corpus of 10,718 sentences. We present here criteria and techniques...
John Bear, John Dowding, Elizabeth Shriberg
BMCBI
2008
93views more  BMCBI 2008»
15 years 6 months ago
Simultaneous fitting of real-time PCR data with efficiency of amplification modeled as Gaussian function of target fluorescence
Background: In real-time PCR, it is necessary to consider the efficiency of amplification (EA) of amplicons in order to determine initial target levels properly. EAs can be deduce...
Anke Batsch, Andrea Noetel, Christian Fork, Anita ...
ICCAD
2004
IEEE
113views Hardware» more  ICCAD 2004»
16 years 3 months ago
High-level synthesis: an essential ingredient for designing complex ASICs
It is common wisdom that synthesizing hardware from higher-level descriptions than Verilog will incur a performance penalty. The case study here shows that this need not be the ca...
Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, N...
ADAEUROPE
2008
Springer
16 years 17 days ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm