Sciweavers

6943 search results - page 713 / 1389
» Representations for evolutionary algorithms
Sort
View
FMSD
2002
107views more  FMSD 2002»
15 years 7 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
15 years 6 months ago
High quality pose estimation by aligning multiple scans to a latent map
Abstract— We introduce a method for fast and accurate registration of multiple horizontal laser scans obtained by a mobile robot. The method is based on novel representation of t...
Qi-Xing Huang, Dragomir Anguelov
IRFC
2011
Springer
14 years 11 months ago
Multilingual Document Clustering Using Wikipedia as External Knowledge
This paper presents Multilingual Document Clustering (MDC) on comparable corpora. Wikipedia, a structured multilingual knowledge base, has been highly exploited in many monolingual...
N. Kiran Kumar, G. S. K. Santosh, Vasudeva Varma
CVPR
2012
IEEE
13 years 10 months ago
A codebook-free and annotation-free approach for fine-grained image categorization
Fine-grained categorization refers to the task of classifying objects that belong to the same basic-level class (e.g. different bird species) and share similar shape or visual app...
Bangpeng Yao, Gary R. Bradski, Fei-Fei Li
AAAI
2012
13 years 9 months ago
Manifold Warping: Manifold Alignment over Time
Knowledge transfer is computationally challenging, due in part to the curse of dimensionality, compounded by source and target domains expressed using different features (e.g., do...
Hoa Trong Vu, Clifton Carey, Sridhar Mahadevan