Filters








21,503 Hits in 3.0 sec

Compactly encoding unstructured inputs with differential compression

Miklos Ajtai, Randal Burns, Ronald Fagin, Darrell D. E. Long, Larry Stockmeyer
<span title="2002-05-01">2002</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/r72grtxx6jad5hjzl7fxcunwhi" style="color: black;">Journal of the ACM</a> </i> &nbsp;
We introduce two new techniques for differential compression and apply these to give additional algorithms that improve compression and time performance.  ...  The subject of this article is differential compression, the algorithmic task of finding common strings between versions of data and using them to encode one version compactly by describing it as a set  ...  We are grateful to Robert Morris, Norm Pass, and David Pease for their encouragement and advice.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/567112.567116">doi:10.1145/567112.567116</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ymjewhftezbq3ojncjgu4fh6ka">fatcat:ymjewhftezbq3ojncjgu4fh6ka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808205942/http://www.cs.utah.edu/~shanth/stuff/research/dup_elim/delta_encode.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/18/5a186979c59835aa8409c8ba9261ae3fb6bdcff1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/567112.567116"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Improving HMM-Based Chinese Handwriting Recognition Using Delta Features and Synthesized String Samples

Tong-Hua Su, Cheng-Lin Liu
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/htymowumwvfj5g7qaexx3w2rti" style="color: black;">2010 12th International Conference on Frontiers in Handwriting Recognition</a> </i> &nbsp;
Our experimental results demonstrate that both Delta features and synthesized string samples significantly improve the recognition performance.  ...  However, the recognition performance has been limited by the small number of string samples. In this paper, we explore two techniques to improve the performance.  ...  We further investigate techniques to synthesize string samples for alleviating data sparseness.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icfhr.2010.18">doi:10.1109/icfhr.2010.18</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfhr/SuL10.html">dblp:conf/icfhr/SuL10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rksjre42rnb2zfrluzj5vvfcli">fatcat:rksjre42rnb2zfrluzj5vvfcli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809221941/http://www.nlpr.ia.ac.cn/2010papers/gjhy/gh24.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/51/d2/51d20be6d550aea778fd987f3d63cfae3f63462e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icfhr.2010.18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Page 1383 of Mathematical Reviews Vol. , Issue 2002B [page]

<span title="">2002</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
The authors develop techniques to treat Wilson lines in type IIB orientifolds. These techniques are then applied to the / = | supersymmetric Z, orientifold.  ...  There are several examples of flat (BPS) domain walls that lead to a localization of gravity on the brane, and for these we obtain the form of the corrections to Newtonian gravity.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2002-02_2002b/page/1383" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2002-02_2002b/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Learning string distance with smoothing for OCR spelling correction

Daniel Hládek, Ján Staš, Stanislav Ondáš, Jozef Juhár, Lászlo Kovács
<span title="2016-12-07">2016</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7inqmh346zfjjizjyieh7ijtma" style="color: black;">Multimedia tools and applications</a> </i> &nbsp;
A smoothing technique is proposed to assign non-zero probability to edit operations not present in the training corpus.  ...  Language model and learning string metric with smoothing improves Viterbi-based search for the best sequence of corrections and increases performance of the spelling correction system.  ...  reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11042-016-4185-5">doi:10.1007/s11042-016-4185-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n5afsm3ljbgevf5l4mlv6bzocm">fatcat:n5afsm3ljbgevf5l4mlv6bzocm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171016063257/http://publisher-connector.core.ac.uk/resourcesync/data/Springer-OA/pdf/93b/aHR0cDovL2xpbmsuc3ByaW5nZXIuY29tLzEwLjEwMDcvczExMDQyLTAxNi00MTg1LTUucGRm.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0a/0a/0a0ad8c12bc7cd4d1020e6e612bdb79ae5f54669.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11042-016-4185-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)

Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov, Marc Herbstritt
<span title="2011-11-24">2011</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
This caused the seminar to cover only part of the original objective. The follow-on seminar focused on the remaining objectives, in particular to bio-ware and constraint solving methods.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 11272 Decision Procedures in Soft, Hard and Bio-ware (Follow Up).  ...  Rewriting techniques are used in the key steps of the solver and its proof of correctness.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.1.7.23">doi:10.4230/dagrep.1.7.23</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/BjornerNVV11.html">dblp:journals/dagstuhl-reports/BjornerNVV11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wfkdnqhh6nbdbf5jgtirejs44u">fatcat:wfkdnqhh6nbdbf5jgtirejs44u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034330/https://drops.dagstuhl.de/opus/volltexte/2011/3277/pdf/dagrep_v001_i007_p023_s11272.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/11/0d11e87fd4b15a845e8e39794af49ffb8c8e4b30.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.1.7.23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Finding software license violations through binary code clone detection

Armijn Hemel, Karl Trygve Kalleberg, Rob Vermaas, Eelco Dolstra
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vjelrzmdcvaydenhyicylh7bwa" style="color: black;">Proceeding of the 8th working conference on Mining software repositories - MSR &#39;11</a> </i> &nbsp;
We evaluate and compare the effectiveness of three of BAT's clone detection techniques: scanning for string literals, detecting similarity through data compression, and detecting similarity by computing  ...  binary deltas.  ...  generates a binary delta between x and y, and denotes the empty (0-byte) string.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1985441.1985453">doi:10.1145/1985441.1985453</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/msr/HemelKVD11.html">dblp:conf/msr/HemelKVD11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/govkm6mnzzdm7lsnrkhvf7kr24">fatcat:govkm6mnzzdm7lsnrkhvf7kr24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809134034/https://nixos.org/~eelco/pubs/clones-msr2011-final.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/56/a8/56a83c92b25629fe4546a8bb1161af03e093b2df.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1985441.1985453"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Algorithms for Delta Compression and Remote File Synchronization [chapter]

Torsten Suel, Nasir Memon
<span title="">2003</span> <i title="Elsevier"> Lossless Compression Handbook </i> &nbsp;
In this chapter, we survey techniques, software tools, and applications for delta compression, remote file synchronization, and closely related problems.  ...  Delta compression and remote file synchronization techniques are concerned with efficient file transfer over a slow communication link in the case where the receiving party already has a similar file (  ...  Acknowledgements Thanks to Dimitre Trendafilov for his work on implementing the zdelta compressor, and to Dimitre Trendafilov and Patrick Noel for providing the experimental data.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-012620861-0/50014-0">doi:10.1016/b978-012620861-0/50014-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/blngizpkf5huxcyeajhphdrfky">fatcat:blngizpkf5huxcyeajhphdrfky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809142624/http://pages.di.unipi.it/ferragina/Teach/InformationRetrieval/survey_rsync.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/96/4b/964b6997a9c7852deff71d34894dbdc38d34fbdf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-012620861-0/50014-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Edgebreaker on a Corner Table: A Simple Technique for Representing and Compressing Triangulated Surfaces [chapter]

Jarek Rossignac, Alla Safonova, Andrzej Szymczak
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/k6cwcpfsu5gs7bvkoa5pdlbe6q" style="color: black;">Mathematics and Visualization</a> </i> &nbsp;
Vertices are encoded, in the order in which they appear on the list, as corrective displacements between their predicted and actual locations.  ...  A variety of boundary-graph data structures may be derived from such a representation in order to make explicit the various adjacency and incidence relations between triangles, edges, and vertices.  ...  Edgebreaker compression stores a point and a sequence of corrective vectors in the string called delta, using WRITE(delta, D) statements, where D is a point or vector.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-55787-3_3">doi:10.1007/978-3-642-55787-3_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p52ord7g65g7bh66ldrlqlcx7i">fatcat:p52ord7g65g7bh66ldrlqlcx7i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100622210826/http://www.gvu.gatech.edu/%7Ejarek/papers/CornerTable.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cb/01/cb018d6d8f138011aa8bd2fd77aa2678324cafc3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-55787-3_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Extracting Label-specific Key Input Features for Neural Code Intelligence Models [article]

Md Rafiqul Islam Rabin
<span title="2022-02-14">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
These label-specific key input features may help to understand the reasoning of models' prediction from different perspectives and increase the trustworthiness to correct classification given by CI models  ...  The code intelligence (CI) models are often black-box and do not offer any insights on the input features that they learn for making correct predictions.  ...  We organized an in-class conference (Research Quest 2021) and submitted our posters/papers as homework to the conference.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.06474v1">arXiv:2202.06474v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hhqviedbyndxtcawaj6srgb7wq">fatcat:hhqviedbyndxtcawaj6srgb7wq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220216091229/https://arxiv.org/pdf/2202.06474v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f0/aa/f0aacc7a0379883c4ab67d9a2d852c7bd99d9797.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.06474v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

In-place reconstruction of delta compressed files

Randal C. Burns, Darrell D. E. Long
<span title="">1998</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t5fzg7fyy5byfdcl2vrzbn43ty" style="color: black;">Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing - PODC &#39;98</a> </i> &nbsp;
Traditional methods for rebuilding these delta files require memory or storage space on the target machine for both the old and new version of the file to be reconstructed.  ...  This allows network clients with limited resources to efficiently update software by retrieving delta compressed versions over a network.  ...  We also wish to thank R. Fagin and our anonymous reviewers who helped to focus the content of our presentation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/277697.277747">doi:10.1145/277697.277747</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/podc/BurnsL98.html">dblp:conf/podc/BurnsL98</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ahjo263fgzak7k7szei376ysym">fatcat:ahjo263fgzak7k7szei376ysym</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080419042328/http://hssl.cs.jhu.edu/~randal/papers/burns_podc98.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d4/60/d4606d3f2a399bfa5b5e91e4c0d3c5aba1658aaa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/277697.277747"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Modernizing hierarchical delta debugging

Renáta Hodován, Ákos Kiss
<span title="">2016</span> <i title="ACM Press"> Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016 </i> &nbsp;
The decade-old Hierarchical Delta Debugging (HDD) algorithm targets structured test inputs, parses them with the help of grammars and applies the minimizing Delta Debugging algorithm to the built trees  ...  reduction techniques.  ...  Perhaps the most well-known and wide-spread automatic technique is the minimizing Delta Debugging (DD) algorithm of Zeller and Hildebrandt [16, 4, 17] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2994291.2994296">doi:10.1145/2994291.2994296</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ejbyfyqwsjfhpc7mcwmymdmxy4">fatcat:ejbyfyqwsjfhpc7mcwmymdmxy4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218144658/https://static.aminer.org/pdf/20170130/pdfs/sigsoft/lpqkczvbc6nrrdmgsy7aqymxj2gwuzxl.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ef/c1/efc10efe3001b9f534dfaff2d27e45ce81a67b53.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2994291.2994296"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
<span title="">2010</span> <i title="Scientific Research Publishing, Inc,"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/siea63ugazhotdhlrexmuoemia" style="color: black;">Journal of Software Engineering and Applications</a> </i> &nbsp;
Design of a complex system requires functionality and also needs to model its control behavior.  ...  Z notation has proved to be an effective tool for describing state space of a system and then defining operations over it.  ...  state, an alphabet and u is a string, the delta function is defined as: delta (s, ("aÒ ^ u)) = delta ((delta (s, "aÒ)), u). 4) For any two states q1 and q2, there exists a string s such that: delta (q1  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2010.38093">doi:10.4236/jsea.2010.38093</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/asskmpci2rdbxbxoawfd2ek2km">fatcat:asskmpci2rdbxbxoawfd2ek2km</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141013202034/http://www.scirp.org/journal/PaperDownload.aspx?paperID=2481" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7f/8b/7f8b08844557cb5a55cca591e827572fcc873059.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2010.38093"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A more efficient and optimal LLR for decoding and verification

Lam Kwok Leung, Pascale Fung
<span title="">1999</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rc5jnc4ldvhs3dswicq5wk3vsq" style="color: black;">1999 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings. ICASSP99 (Cat. No.99CH36258)</a> </i> &nbsp;
Since the traditional log likelihood ratio (LLR) is borrowed from speaker verification technique, it may not be apropriate for decoding because we do not have a good modelling and definition of LLR for  ...  We propose a new confidence score for decoding and verification.  ...  The recognzier feature vector consisted of the following 39 parameters: 12 MFCC, 12 delta cepstral coefficients, 12 delta-delta cepstral coefficients, energy, and the delta and delta-delta of the energy  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icassp.1999.759760">doi:10.1109/icassp.1999.759760</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icassp/LamF99.html">dblp:conf/icassp/LamF99</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3w2njh5itnagpd4nus54a6xtou">fatcat:3w2njh5itnagpd4nus54a6xtou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080424151653/http://www.ee.ust.hk/~pascale/Publications/conference/1999/IEEE-ICASSP1999.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/76/8d/768ddba130bb29d5d42ebf256e239286abdf39cd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icassp.1999.759760"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Page 535 of American Society of Civil Engineers. Collected Journals Vol. 128, Issue 6 [page]

<span title="">2002</span> <i title="American Society of Civil Engineers"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_american-society-of-civil-engineers-collected-journals" style="color: black;">American Society of Civil Engineers. Collected Journals </a> </i> &nbsp;
values; (3) compare the actual outputs with the correct outputs and determine a measure of the error; (4) determine the amount by which each weight needs to be changed; (5) apply the corrections to the  ...  With such binary coding, the entire decision vector is reduced to a string of binary numbers (i.e., 0 and 1). Such strings are analogous to biological chromo- somes.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_american-society-of-civil-engineers-collected-journals_2002-06_128_6/page/535" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_american-society-of-civil-engineers-collected-journals_2002-06_128_6/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
<span title="">2009</span> <i title="Scientific Research Publishing, Inc,"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/siea63ugazhotdhlrexmuoemia" style="color: black;">Journal of Software Engineering and Applications</a> </i> &nbsp;
Design of a complex system not only requires functionality but it also needs to model its control behavior.  ...  Finally, monoid endomorphisms and group automorphisms are formalized, and formal proof of their equivalence is given under certain assumptions.  ...  is state, a an alphabet and u is a string, the delta function is defined as: ( ,( )) delta s a u    º (( ( , )), ). delta delta s a u   4) For any two states q1 and q2, there exists a string s such  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2009.22012">doi:10.4236/jsea.2009.22012</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gql6bdd65vb5dp3qfd7zudqhmy">fatcat:gql6bdd65vb5dp3qfd7zudqhmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141117132428/http://www.scirp.org/journal/PaperDownload.aspx?FileName=JSEA20090200002_20183577.pdf&amp;paperID=528" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/27/56/275626825a1be7f35e1a648cbaab970ed07eb13c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2009.22012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 21,503 results