Sciweavers

4670 search results - page 61 / 934
» Testing that distributions are close
Sort
View
DIAGRAMS
2008
Springer
14 years 12 months ago
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants
In linguistics, it is quite common to use tree diagrams for immediate constituent analysis of sentences. Traditionally, these trees are binary and twodimensional. However, phenomen...
Leonie Bosveld-de Smet, Mark de Vries
ICCAD
2006
IEEE
126views Hardware» more  ICCAD 2006»
15 years 7 months ago
Exploring linear structures of critical path delay faults to reduce test efforts
It has been shown that the delay of a target path can be composed linearly of other path delays. If the later paths are robustly testable (with known delay values), the target pat...
Shun-Yen Lu, Pei-Ying Hsieh, Jing-Jia Liou
UIST
2000
ACM
15 years 2 months ago
System lag tests for augmented and virtual environments
We describe a simple technique for accurately calibrating the temporal lag in augmented and virtual environments within the Enhanced Virtual Hand Lab (EVHL), a collection of hardw...
Colin Swindells, John Dill, Kellogg S. Booth
CCS
2011
ACM
13 years 10 months ago
Trace equivalence decision: negative tests and non-determinism
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
Vincent Cheval, Hubert Comon-Lundh, Stéphan...