researchr - search publication Intrinsic-Verification

researchr

You are not signed in
Sign in
Sign up

32 publication results matching 'Intrinsic-Verification'

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]
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]
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]
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]
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]
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]
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]
The Meaning of Types -- From Intrinsic to Extrinsic SemanticsReynolds, John. BRICS Research Series RS-00-32, 2004.
Narcissus: correct-by-construction derivation of decoders and encoders from binary formatsBenjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, Adam Chlipala. PACMPL, 3(ICFP), 2019. [doi]
An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing
… on the construction in the Coq proof-assistant of libraries to model, specify, and verify C … and verify a parsing function for network packets. Thanks to this experiment, we …
Reynald Affeldt, Kazuhiko Sakaguchi. Journal of Formalized Reasoning, 7(1):63-104, 2014. [doi]

Sign in or sign up to see more results.

runs on WebDSL