3742 search results - page 68 / 749 » On the Use of Formal Techniques for Validation |
169
click to vote
ASAP
2007
IEEE
15 years 10 months ago
2007
IEEE
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
182
click to vote
IADIS
2009
15 years 3 months ago
2009
We explore techniques for detecting news articles containing invalid information, using the help of text categorization technology. The information that exists on the World Wide W...
144
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
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...
219
click to vote
KES
2010
Springer
15 years 4 months ago
2010
Springer
Exploratory Learning Environments (ELEs) allow learners to approach a problem in different ways; they are particularly suitable for ill-defined problems where knowledge is less str...
185
click to vote
CAIP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper we present a novel analysis-by-synthesis approach for real-time camera tracking in industrial scenarios. The camera pose estimation is based on the tracking...