Sciweavers

3895 search results - page 606 / 779
» Measuring the effectiveness of ACATS
Sort
View
DSN
2009
IEEE
16 years 1 months ago
Fitness-guided path exploration in dynamic symbolic execution
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
IAT
2009
IEEE
16 years 1 months ago
Social Trust-Aware Recommendation System: A T-Index Approach
Collaborative Filtering based on similarity suffers from a variety of problems such as sparsity and scalability. In this paper, we propose an ontological model of trust between us...
Alireza Zarghami, Soude Fazeli, Nima Dokoohaki, Mi...
ICASSP
2009
IEEE
16 years 1 months ago
Multi-flow attack resistant watermarks for network flows
In this work we present a Multi-flow Attack Resistant Interval Centroid Based Watermarking (MAR-ICBW) scheme for network flows. Our proposed scheme can withstand the newly intro...
Amir Houmansadr, Negar Kiyavash, Nikita Borisov
ICDAR
2009
IEEE
16 years 1 months ago
Using Multiple Frame Integration for the Text Recognition of Video
This paper proposes a new approach for the multiple frame integration of video, whose novelty mainly lies in three phases: Firstly, in the text-block group (TBG) identification, w...
Jian Yi, Yuxin Peng, Jianguo Xiao
ICRA
2009
IEEE
165views Robotics» more  ICRA 2009»
16 years 1 months ago
A visual odometry framework robust to motion blur
— Motion blur is a severe problem in images grabbed by legged robots and, in particular, by small humanoid robots. Standard feature extraction and tracking approaches typically f...
Alberto Pretto, Emanuele Menegatti, Maren Bennewit...