Sciweavers

6941 search results - page 455 / 1389
» Testing as a Certification Approach
Sort
View
ICSE
2007
IEEE-ACM
16 years 7 months ago
Variability Management in Software Product Line Engineering
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
Andreas Metzger, Klaus Pohl
DAC
2009
ACM
16 years 1 months ago
Information hiding for trusted system design
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
Junjun Gu, Gang Qu, Qiang Zhou
ENC
2005
IEEE
16 years 15 days ago
Saving Evaluations in Differential Evolution for Constrained Optimization
Generally, evolutionary algorithms require a large number of evaluations of the objective function in order to obtain a good solution. This paper presents a simple approach to sav...
Efrén Mezura-Montes, Carlos A. Coello Coell...
ICRA
2002
IEEE
142views Robotics» more  ICRA 2002»
15 years 11 months ago
Hybrid Simultaneous Localization and Map Building: Closing the Loop with Multi-Hypotheses Tracking
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
Nicola Tomatis, Illah R. Nourbakhsh, Roland Siegwa...
IPM
2006
146views more  IPM 2006»
15 years 6 months ago
Dictionary-based text categorization of chemical web pages
A new dictionary-based text categorization approach is proposed to classify the chemical web pages efficiently. Using a chemistry dictionary, the approach can extract chemistry-re...
Chunyan Liang, Li Guo, Zhaojie Xia, Feng-Guang Nie...