Sciweavers

1682 search results - page 165 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
CIIA
2009
15 years 5 months ago
Color Quantization and its Impact on Color Histogram Based Image Retrieval
The comparison of color histograms is one of the most widely used techniques for Content-Based Image Retrieval. Before establishing a color histogram in a defined model (RGB, HSV o...
Khouloud Meskaldji, Samia Boucherkha, Salim Chikhi
CAV
2011
Springer
207views Hardware» more  CAV 2011»
14 years 7 months ago
Interactive Synthesis of Code Snippets
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
Tihomir Gvero, Viktor Kuncak, Ruzica Piskac
156
Voted
COMSWARE
2006
IEEE
15 years 10 months ago
Comparing lexical analysis tools for buffer overflow detection in network software
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
Davide Pozza, Riccardo Sisto, Luca Durante, Adrian...
BMCBI
2005
118views more  BMCBI 2005»
15 years 3 months ago
Feature selection and classification for microarray data analysis: Evolutionary methods for identifying predictive genes
Background: In the clinical context, samples assayed by microarray are often classified by cell line or tumour type and it is of interest to discover a set of genes that can be us...
Thanyaluk Jirapech-Umpai, J. Stuart Aitken
AR
2007
103views more  AR 2007»
15 years 3 months ago
Stability of autonomous vehicle path tracking with pure delays in the control loop
This paper presents a new method to analyze the stability of a general class of mobile robot path tracking algorithms taking into account explicitly the computation and communicat...
Guillermo Heredia, Aníbal Ollero