Sciweavers

4167 search results - page 439 / 834
» Evolutionary functional testing
Sort
View
150
Voted
CSFW
2010
IEEE
15 years 8 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
143
Voted
COLT
2008
Springer
15 years 6 months ago
Injective Hilbert Space Embeddings of Probability Measures
A Hilbert space embedding for probability measures has recently been proposed, with applications including dimensionality reduction, homogeneity testing and independence testing. ...
Bharath K. Sriperumbudur, Arthur Gretton, Kenji Fu...
141
Voted
HASE
2008
IEEE
15 years 5 months ago
Randomization Based Probabilistic Approach to Detect Trojan Circuits
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
Susmit Jha, Sumit Kumar Jha
118
Voted
AMC
2005
138views more  AMC 2005»
15 years 4 months ago
Optimal centers in branch-and-prune algorithms for univariate global optimization
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
D. G. Sotiropoulos, T. N. Grapsa
TKDE
2008
130views more  TKDE 2008»
15 years 4 months ago
Chaotic Time Series Prediction Using a Neuro-Fuzzy System with Time-Delay Coordinates
Abstract--This paper presents an investigation into the use of the delay coordinate embedding technique in the multi-inputmultioutput-adaptive-network-based fuzzy inference system ...
Jun Zhang, Henry Shu-Hung Chung, Wai-Lun Lo