Search results for "cross-check"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Young-Bin Kwon, Jeong-Hoon Kim	Verification of the Document Components from Dual Extraction of MRTD Information.	GREC	2007	DBLP DOI BibTeX RDF	MRTD(Machine Readable Travel Document), cross-check, auto-correlation, verification, passport
23	Meng Lieh Sheu, Tai Ping Sun, Chi Wen Lu, Mon Chau Shie	The fault detection of cross-check test scheme for infrared FPA.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
16	Jiaxin Zhang, Zhuohang Li, Kamalika Das, Bradley A. Malin, Kumar Sricharan	SAC3: Reliable Hallucination Detection in Black-Box Language Models via Semantic-aware Cross-check Consistency.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jiaxin Zhang, Zhuohang Li, Kamalika Das, Bradley A. Malin, Kumar Sricharan	SAC³: Reliable Hallucination Detection in Black-Box Language Models via Semantic-aware Cross-check Consistency.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
16	Raquel Araújo de Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary, Daniele Dadolle	Using formal models to cross check an implementation.	EICS	2016	DBLP DOI BibTeX RDF
16	Takashi Washio, Hiroshi Motoda, Yuji Niwa	Enhancing the plausibility of law equation discovery through cross check among multiple scale-type-based models.	J. Exp. Theor. Artif. Intell.	2005	DBLP DOI BibTeX RDF
16	Dietmar Schütz	Reactive Cross-Check.	EuroPLoP	1998	DBLP BibTeX RDF
12	Dawson R. Engler, David Yu Chen, Andy Chou	Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.	SOSP	2001	DBLP DOI BibTeX RDF
8	Ronnie Sarkar, Murthy V. Devarakonda, Axel Tanner	Policy-Based Automation to Improve Solution Engineering in IT Services.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	solution engineering, computer-aided design, services, automation, IT outsourcing
8	Riccardo Mariani, Gabriele Boschi	A systematic approach for Failure Modes and Effects Analysis of System-On-Chips.	IOLTS	2007	DBLP DOI BibTeX RDF
8	Jingjing Fu, Bing Zeng	Diagonal Discrete Cosine Transforms for Image Coding.	PCM	2006	DBLP DOI BibTeX RDF
8	Paul C. van Oorschot, Stuart G. Stubblebine	Countering Identity Theft Through Digital Uniqueness, Location Cross-Checking, and Funneling.	Financial Cryptography	2005	DBLP DOI BibTeX RDF
8	Tristan Denmat, Mireille Ducassé, Olivier Ridoux	Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information.	ASE	2005	DBLP DOI BibTeX RDF
8	Peter Langendörfer, Krzysztof Piotrowski, Michael Maaser	Charged Location Aware Services - A Privacy Analysis.	ICMB	2005	DBLP DOI BibTeX RDF
8	Gangyi Jiang, Liangzhong Fan, Mei Yu 0001, Xien Ye, Rangding Wang, Yong-Deak Kim	Fast Ray-Space Interpolation with Depth Discontinuity Preserving for Free Viewpoint Video System.	PCM (1)	2005	DBLP DOI BibTeX RDF
8	Thomas Meyer 0001, Burkhart Wolff	Tactic-Based Optimized Compilation of Functional Programs.	TYPES	2004	DBLP DOI BibTeX RDF
8	Nick Rutar, Christian B. Almazan, Jeffrey S. Foster	A Comparison of Bug Finding Tools for Java.	ISSRE	2004	DBLP DOI BibTeX RDF
8	Xiaoying Bai, Wei-Tek Tsai, Ke Feng, Lian Yu, Raymond A. Paul	Scenario-Based Modeling And Its Applications.	WORDS	2002	DBLP DOI BibTeX RDF