Sciweavers

5570 search results - page 130 / 1114
» Applications of Fair Testing
Sort
View
238
Voted
APAL
2011
14 years 10 months ago
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
Gerhard Jäger, Dieter Probst
143
Voted
WSC
2008
15 years 5 months ago
Distributed multi-layered workload synthesis for testing stream processing systems
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...
Eric Bouillet, Parijat Dube, David George, Zhen Li...
124
Voted
ISMAR
2008
IEEE
15 years 10 months ago
ComposAR: An intuitive tool for authoring AR applications
This paper introduces ComposAR, a tool to allow a wide audience to author AR and MR applications. It is unique in that it supports both visual programming and interpretive scripti...
Hartmut Seichter, Julian Looser, Mark Billinghurst
97
Voted
ICIP
2002
IEEE
16 years 5 months ago
Nonadditive Gaussian watermarking and its application to wavelet-based image watermarking
This paper extends our recent game-theoretic approach [1] to design and embed watermarks in Gaussian signals in the presence of an adversary. The detector solves a binary hypothes...
Pierre Moulin, Aleksandar Ivanovic
101
Voted
ICPR
2004
IEEE
16 years 4 months ago
Robust Modelling of Local Image Structures and Its Application to Medical Imagery
A robust modelling method for detecting and measuring isotropic, linear features and bifurcations is described and applied to analysing 2d eletrophoresis and retinal images. Featu...
Li Wang, Abhir Bhalerao, Roland Wilson