Sciweavers

4299 search results - page 708 / 860
» Concurrent Test Generation
Sort
View
147
Voted
DIS
2006
Springer
15 years 7 months ago
Model-Based Estimation of Word Saliency in Text
Abstract. We investigate a generative latent variable model for modelbased word saliency estimation for text modelling and classification. The estimation algorithm derived is able ...
Xin Wang, Ata Kabán
DSN
2006
IEEE
15 years 7 months ago
Using Attack Injection to Discover New Vulnerabilities
Due to our increasing reliance on computer systems, security incidents and their causes are important problems that need to be addressed. To contribute to this objective, the pape...
Nuno Ferreira Neves, João Antunes, Miguel C...
EKAW
2006
Springer
15 years 7 months ago
Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
Peter M. D. Gray, Graham J. L. Kemp
148
Voted
EMO
2006
Springer
113views Optimization» more  EMO 2006»
15 years 7 months ago
Prediction-Based Population Re-initialization for Evolutionary Dynamic Multi-objective Optimization
Abstract. Optimization in changing environment is a challenging task, especially when multiple objectives are to be optimized simultaneously. The basic idea to address dynamic opti...
Aimin Zhou, Yaochu Jin, Qingfu Zhang, Bernhard Sen...
144
Voted
FM
2006
Springer
161views Formal Methods» more  FM 2006»
15 years 7 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller