Sciweavers

805 search results - page 135 / 161
» Semantics-based code search
Sort
View
FLAIRS
2001
13 years 8 months ago
Introducing Local Optimization for Effective Initialization and Crossover of Genetic Decision Trees
We introduce a new genetic operator, Reduction, that rectifies decision trees not correct syntactically and at the same time removes the redundant sections within, while preservin...
Arindam Basak, Sudeshna Sarkar
JTRES
2010
ACM
13 years 7 months ago
Exhaustive testing of safety critical Java
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
Tomás Kalibera, Pavel Parizek, Michal Maloh...
MM
2010
ACM
243views Multimedia» more  MM 2010»
13 years 7 months ago
Mobile product recognition
We present a mobile product recognition system for the camera-phone. By snapping a picture of a product with a camera-phone, the user can retrieve online information of the produc...
Sam S. Tsai, David M. Chen, Vijay Chandrasekhar, G...
MM
2010
ACM
199views Multimedia» more  MM 2010»
13 years 7 months ago
TOP-SURF: a visual words toolkit
TOP-SURF is an image descriptor that combines interest points with visual words, resulting in a high performance yet compact descriptor that is designed with a wide range of conte...
Bart Thomee, Erwin M. Bakker, Michael S. Lew
CCS
2010
ACM
13 years 7 months ago
Input generation via decomposition and re-stitching: finding bugs in Malware
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
Juan Caballero, Pongsin Poosankam, Stephen McCaman...