9504 search results - page 9 / 1901 » Dynamic Substitution Model |
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
NAACL
2010
13 years 5 months ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
DASFAA
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, we propose a method to search the Web for sentence substitutions for a given sentence query. Our method uses only lexico-syntactic patterns dynamically generated fro...
BMCBI
2006
13 years 7 months ago
2006
Background: Statistical methods for identifying positively selected sites in protein coding regions are one of the most commonly used tools in evolutionary bioinformatics. However...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we present an enhanced cryptanalysis of the Substitution Cipher Chaining mode (SCC) [1]. In [2], SCC-128 (SCC which uses AES with 128-bit key) was broken using 5 att...