Sciweavers

4276 search results - page 143 / 856
» Techniques for Empirical Validation
Sort
View
IH
2001
Springer
15 years 11 months ago
Computational Forensic Techniques for Intellectual Property Protection
Computational forensic engineering (CFE) aims to identify the entity that created a particular intellectual property (IP). Rather than relying on watermarking content or designs, t...
Jennifer L. Wong, Darko Kirovski, Miodrag Potkonja...
ITC
2000
IEEE
110views Hardware» more  ITC 2000»
15 years 11 months ago
Algorithm level re-computing with shifted operands-a register transfer level concurrent error detection technique
—This paper presents Algorithm-level REcomputing with Shifted Operands (ARESO), which is a new register transfer (RT) level time redundancy-based concurrent error detection (CED)...
Ramesh Karri, Kaijie Wu
EMSOFT
2004
Springer
15 years 10 months ago
Separation of concerns: overhead in modeling and efficient simulation techniques
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
Guang Yang 0004, Alberto L. Sangiovanni-Vincentell...
GECCO
2008
Springer
158views Optimization» more  GECCO 2008»
15 years 7 months ago
Objective reduction using a feature selection technique
This paper introduces two new algorithms to reduce the number of objectives in a multiobjective problem by identifying the most conflicting objectives. The proposed algorithms ar...
Antonio López Jaimes, Carlos A. Coello Coel...
BMCBI
2006
122views more  BMCBI 2006»
15 years 6 months ago
A comparison of univariate and multivariate gene selection techniques for classification of cancer datasets
Background: Gene selection is an important step when building predictors of disease state based on gene expression data. Gene selection generally improves performance and identifi...
Carmen Lai, Marcel J. T. Reinders, Laura J. van't ...