Search results for "TVT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä	Tampere Verification Tool.	TACAS	2004	DBLP DOI BibTeX RDF
37	Naotaka Kato, Kazunori Matsushita, Makoto Arisawa	A Utility for Showing Program Integrated Information Changes between Versions in a Translation Verification Test.	ISUC	2008	DBLP DOI BibTeX RDF	Translation Verification Test, Program Integrated Information, PII, TVT, GUI, Translation
36	Zimian Wei, Hengyue Pan, Lujun Li, Peijie Dong, Zhiliang Tian, Xin Niu, Dongsheng Li 0001	TVT: Training-Free Vision Transformer Search on Tiny Datasets.	CoRR	2023	DBLP DOI BibTeX RDF
36	Jinyu Yang, Jingjing Liu, Ning Xu, Junzhou Huang	TVT: Transferable Vision Transformer for Unsupervised Domain Adaptation.	WACV	2023	DBLP DOI BibTeX RDF
36	Ali Shahidinejad	ProVerif codes for "Ultra-Lightweight and Secure Blockchain-Assisted Charging Scheduling Scheme For Vehicular Edge Networks By Utilization of NanoPi NEO" (10.1109/TVT.2022.3173076).		2022	DOI RDF
36	Jialin Tian, Xing Xu 0001, Fumin Shen, Yang Yang 0002, Heng Tao Shen	TVT: Three-Way Vision Transformer through Multi-Modal Hypersphere Learning for Zero-Shot Sketch-Based Image Retrieval.	AAAI	2022	DBLP DOI BibTeX RDF
36	Jinyu Yang, Jingjing Liu, Ning Xu, Junzhou Huang	TVT: Transferable Vision Transformer for Unsupervised Domain Adaptation.	CoRR	2021	DBLP BibTeX RDF
36	Ming Chen, Yingming Li, Zhongfei Zhang, Siyu Huang	TVT: Two-View Transformer Network for Video Captioning.	ACML	2018	DBLP BibTeX RDF
36	Rafael del Vado Vírseda, Fernando Pérez Morente, Eduardo Berbis González	TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience.	CSEDU (2)	2012	DBLP BibTeX RDF
30	Henri Hansen, Heikki Virtanen, Antti Valmari	Merging State-Based and Action-Based Verification.	ACSD	2003	DBLP DOI BibTeX RDF