Sciweavers

345 search results - page 55 / 69
» An automatic object inlining optimization and its evaluation
Sort
View
WWW
2004
ACM
14 years 9 months ago
A hierarchical monothetic document clustering algorithm for summarization and browsing search results
Organizing Web search results into a hierarchy of topics and subtopics facilitates browsing the collection and locating results of interest. In this paper, we propose a new hierar...
Krishna Kummamuru, Rohit Lotlikar, Shourya Roy, Ka...
BMVC
2010
13 years 6 months ago
Vision-Based Behavior Prediction in Urban Traffic Environments by Scene Categorization
We propose a method for vision-based scene understanding in urban traffic environments that predicts the appropriate behavior of a human driver in a given visual scene. The method...
Martin Heracles, Fernando Martinelli, Jannik Frits...
ACL2
2006
ACM
14 years 2 months ago
A verifying core for a cryptographic language compiler
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
Lee Pike, Mark Shields, John Matthews
GECCO
2004
Springer
144views Optimization» more  GECCO 2004»
14 years 1 months ago
Feature Subset Selection, Class Separability, and Genetic Algorithms
Abstract. The performance of classification algorithms in machine learning is affected by the features used to describe the labeled examples presented to the inducers. Therefore,...
Erick Cantú-Paz
TEC
2008
104views more  TEC 2008»
13 years 8 months ago
Coevolution of Fitness Predictors
Abstract--We present an algorithm that coevolves fitness predictors, optimized for the solution population, which reduce fitness evaluation cost and frequency, while maintaining ev...
Michael D. Schmidt, Hod Lipson