Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Unsupervised Domain Adaptation by Domain Invariant ProjectionBaktashmotlagh, Mahsa ; Harandi, Mehrtash T. ; Lovell, Brian C. ; Salzmann, Mathieu2013 IEEE International Conference on Computer Vision, 2013, p.769-776IEEETexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
BRISK: Binary Robust invariant scalable keypointsLeutenegger, S. ; Chli, M. ; Siegwart, R. Y.2011 International Conference on Computer Vision, 2011, p.2548-2555IEEETexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Speaker-Invariant Training Via Adversarial LearningMeng, Zhong ; Li, Jinyu ; Chen, Zhuo ; Zhao, Yang ; Mazalov, Vadim ; Gong, Yifan ; Juang, Biing-Hwang2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2018, p.5969-5973IEEETexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Hidden Factor Analysis for Age Invariant Face RecognitionDihong Gong ; Zhifeng Li ; Dahua Lin ; Jianzhuang Liu ; Xiaoou Tang2013 IEEE International Conference on Computer Vision, 2013, p.2872-2879IEEETexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Towards Pose Invariant Face Recognition in the WildZhao, Jian ; Cheng, Yu ; Xu, Yan ; Xiong, Lin ; Li, Jianshu ; Zhao, Fang ; Jayashree, Karlekar ; Pranata, Sugiri ; Shen, Shengmei ; Xing, Junliang ; Yan, Shuicheng ; Feng, Jiashi2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2018, p.2207-2216IEEETexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Transition invariantsPodelski, A. ; Rybalchenko, A.Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004, 2004, p.32-41Los Alamitos, Calif: IEEETexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Supervised translation-invariant sparse codingJianchao Yang ; Kai Yu ; Huang, Thomas2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2010, p.3517-3524IEEETexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Synthesizing Probabilistic Invariants via Doob’s DecompositionBarthe, Gilles ; Espitau, Thomas ; Ferrer Fioriti, Luis María ; Hsu, JustinComputer Aided Verification, p.43-61 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Object Invariants in Dynamic ContextsLeino, K. Rustan M. ; Müller, PeterECOOP 2004 – Object-Oriented Programming, 2004, p.491-515 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
DySy: dynamic symbolic execution for invariant inferenceCsallner, Christoph ; Tillmann, Nikolai ; Smaragdakis, YannisInternational Conference on Software Engineering 2008, 2008, Vol.2008 (24), p.281-290ACMTexto completo disponível |