<--- Back to Details
First PageDocument Content
Terminology / Translation / Collocation / Extraction / Linguistics / Science / Lexicography
Date: 2011-06-22 03:41:29
Terminology
Translation
Collocation
Extraction
Linguistics
Science
Lexicography

Add to Reading List

Source URL: www.tilde.com

Download Document from Source Website

File Size: 428,19 KB

Share Document on Facebook

Similar Documents

Linguistics / Language / Natural language processing / Cognitive science / Grammar frameworks / Computational linguistics / Grammar / Syntax / Parsing / Phrase structure rules / Statistical classification / Information extraction

A Machine learning Filter for Relation Extraction Kevin Lange Di Cesare, Michel Gagnon Polytechnique Montréal Montreal, Canada

DocID: 1xUt7 - View Document

Theoretical computer science / Formal methods / Logic in computer science / Software engineering / Proof assistants / Automated theorem proving / Formal verification / Interactive Theorem Proving / Isabelle / Coq / HOL / Correctness

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1

DocID: 1xUhq - View Document

Cryptography / Elliptic curve cryptography / Finite fields / Cryptographic software / OpenPGP / Public-key cryptography / Electromagnetic attack / GNU Privacy Guard / Elliptic-curve cryptography / Libgcrypt / RSA / Elliptic-curve DiffieHellman

ECDH Key-Extraction via Low-Bandwidth Electromagnetic Attacks on PCs Daniel Genkin Lev Pachmanov

DocID: 1xU7v - View Document

MAGIK: An Efficient Key Extraction Mechanism Based on Dynamic Geomagnetic Field

DocID: 1xTUi - View Document

Computing / Computer architecture / Computer hardware / Computer memory / Central processing unit / Web programming / X86 architecture / Google Native Client / CPU cache / Spectre / JavaScript / Cache

Drive-By Key-Extraction Cache Attacks from Portable Code

DocID: 1xTTi - View Document