Sciweavers

5829 search results - page 357 / 1166
» The Practice of Cluster Analysis
Sort
View
CAISE
2006
Springer
15 years 11 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
209
Voted
ICANN
2001
Springer
16 years 11 hour ago
A Computational Intelligence Approach to Optimization with Unknown Objective Functions
In many practical engineering design problems, the form of objective function is not given explicitly in terms of design variables. Given the value of design variables, under this ...
Hirotaka Nakayama, Masao Arakawa, Rie Sasaki
ICML
2005
IEEE
16 years 8 months ago
A theoretical analysis of Model-Based Interval Estimation
Several algorithms for learning near-optimal policies in Markov Decision Processes have been analyzed and proven efficient. Empirical results have suggested that Model-based Inter...
Alexander L. Strehl, Michael L. Littman
201
Voted
SAINT
2005
IEEE
16 years 1 months ago
A Framework of Numerical Basket Analysis
Basket Analysis is mathematically characterized and extended to search families of sets in this paper. These theories indicate the possibility of various new approaches of data mi...
Takashi Washio, Atsushi Fujimoto, Hiroshi Motoda
205
Voted
CHES
2000
Springer
204views Cryptology» more  CHES 2000»
15 years 12 months ago
Using Second-Order Power Analysis to Attack DPA Resistant Software
Under a simple power leakage model based on Hamming weight, a software implementation of a data-whitening routine is shown to be vulnerable to a first-order Differential Power Anal...
Thomas S. Messerges