researchr - search publication Intrinsic-Verification

researchr

You are not signed in
Sign in
Sign up

35 publication results matching 'Intrinsic-Verification'

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek CalculusSteven Schaefer, Nathan Varner, Pedro Henrique Azevedo de Amorim, Max S. New. PACMPL, 9(OOPSLA1):773-796, 2025. [doi]
Intrinsic Author Verification Using Topic ModelingNektaria Potha, Efstathios Stamatatos. setn 2018: [doi]
An intrinsic authorship verification technique for compromised account detection in social networksRavneet Kaur, Sarbjeet Singh, Harish Kumar. soco, 25(6):4345-4366, 2021. [doi]
An Efficient Intrinsic Authorship Verification Scheme Based on Ensemble LearningOren Halvani, Martin Steinebach. IEEEares 2014: 571-578 [doi]
Feature-based and channel-based analyses of intrinsic variability in speaker verificationMartin Graciarena, Tobias Bocklet, Elizabeth Shriberg, Andreas Stolcke, Sachin S. Kajarekar. interspeech 2009: 2015-2018 [doi]
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logicRichard C. Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw. dac 2008: 268-271 [doi]
Proteolysis of β-lactoglobulin by Trypsin: Simulation by Two-Step Model and Experimental Verification by Intrinsic Tryptophan FluorescenceM. M. Vorob'ev. symmetry, 11(2):153, 2019. [doi]
A Reconfigurable Analog Neural Network for Evolvable Hardware Applications: Intrinsic Evolution and Extrinsic VerificationSanjay K. Boddhu, John C. Gallagher, Saranyan Vigraham. cec 2006: 3145-3152 [doi]
Acquiring the Symplectic Operator Based on Pure Mathematical Derivation then Verifying It in the Intrinsic Problem of NanodevicesHan Nie, Renzhou Gui, Tongjie Chen. symmetry, 11(11):1383, 2019. [doi]
Intrinsically typed compilation with nameless labels
… code. This can be done intrinsically by implementing it as a function … by construction. A key challenge in implementing an intrinsically typed compiler … the concise specification and implementation of intrinsically typed operations …
Arjen Rouvoet, Robbert Krebbers, Eelco Visser. PACMPL, 5(POPL):1-28, 2021. [doi]
Predictable Verification using Intrinsic DefinitionsAdithya Murali, Cody Rivera, P. Madhusudan. PACMPL, 8(PLDI):1804-1829, 2024. [doi]
Intrinsically-typed definitional interpreters for imperative languages
… of the abstract syntax. Using such intrinsically-typed abstract syntax definitions … that successfully scale up intrinsically-typed definitional interpreters to handle … binding in intrinsically-typed interpreters. (3) Case studies of intrinsically-typed …
Casper Bach Poulsen, Arjen Rouvoet, Andrew P. Tolmach, Robbert Krebbers, Eelco Visser. PACMPL, 2(POPL), 2018. [doi]
Finger Vein Verification using Intrinsic and Extrinsic FeaturesLiying Lin, Haozhe Liu, Wentian Zhang, Feng Liu, Zhihui Lai. icb 2021: 1-7 [doi]
Intrinsic variation robust speaker verification based on sparse representationYi Nie, Mingxing Xu, Haishu Xianyu. apsipa 2014: 1-4 [doi]
Compensation of Intrinsic Variability with Factor Analysis Modeling for Robust Speaker VerificationSheng Chen, Mingxing Xu. interspeech 2012: 1576-1579 [doi]
Connectome verification: inter-rater and connection reliability of tract-tracing-based intrinsic hypothalamic connectivityOliver Schmitt 0001, Peter Eipert, Sebastian Schwanke, Felix Lessmann, Jennifer Meinhardt, Julia Beier, Kanar Kadir, Adrian Karnitzki, Linda Sellner, Ann-Christin Klünker, Frauke Ruß, Jörg Jenssen. bib, 20(5):1944-1955, 2019. [doi]
A Machine Learning-based Intrinsic Method for Cross-topic and Cross-genre Authorship VerificationYunita Sari, Mark Stevenson. clef 2015: [doi]
Metric meta-learning and intrinsic Riemannian embedding for writer independent offline signature verificationAlexios Giazitzis, Elias N. Zois. eswa, 261:125470, 2025. [doi]
COUNTERFOIL: Verifying Provenance of Integrated Circuits using Intrinsic Package Fingerprints and Inexpensive CamerasSiva Nishok Dhanuskodi, Xiang Li, Daniel E. Holcomb. uss 2020: 1255-1272 [doi]
Study on the effects of intrinsic variation using i-vectors in text-independent speaker verificationSheng Chen, Mingxing Xu, Emlyn Pratt. odyssey 2012: 172-179 [doi]

Sign in or sign up to see more results.

runs on WebDSL