Filters








1,380 Hits in 2.3 sec

The SMT Competition 2015–2018

Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger, Martina Seidl, Luca Pulina
2019 Journal on Satisfiability, Boolean Modeling and Computation  
We report on the design and selected results of the SMT Competition during the last FLoC Olympiad, from 2015 to 2018.  ...  The 2018 edition of the competition was part of the FLoC Olympic Games, which comprised 14 competitions in various areas of computational logic.  ...  for preparing the annual SMT-LIB release; all contributors of new benchmarks to the SMT Library; and, last but not least, all solver developers who entered their solver into the competition.  ... 
doi:10.3233/sat190123 fatcat:k4tezwrthrcjdl3g25sampbooe

RTM results for Predicting Translation Performance

Ergun Biçici
2018 Proceedings of the Third Conference on Machine Translation: Shared Task Papers  
the sentence-level prediction of translation scores and achieve the lowest RMSE in English to German NMT QET results.  ...  For the document-level task, we compare document-level RTM models with sentence-level RTM models obtained with the concatenation of document sentences and obtain similar results.  ...  We also thank the reviewers' comments and Fred Blain from The University of Sheffield.  ... 
doi:10.18653/v1/w18-6458 dblp:conf/wmt/Bicici18a fatcat:ygkaykai4bb3tlfipromxq6nua

Advances in Symmetry Breaking for SAT Modulo Theories [article]

Saket Dingliwal, Ronak Agarwal, Happy Mittal, Parag Singla
2020 arXiv   pre-print
Our final solver is a hybrid of the original CVC4 solver, and an SBP based solver, and can solve up to 3.8% and 3.1% more problems in the QF_NIA category of 2018 and 2019 SMT benchmarks, respectively,  ...  These SBPs are then applied over the SAT solving part of the SMT solver. We implement our SBP ideas on top of CVC4, which is a state-of-the-art SMT solver.  ...  Any opinions, findings, conclusions or recommendations expressed in this paper are those of the authors and do not necessarily reflect the views or official policies, either expressed or implied, of the  ... 
arXiv:1908.00860v2 fatcat:2mihevn7brhdjdfyr7mtyq4urm

Use of social media in Free State tourism small, medium and micro enterprises to widen business networks for competitiveness

Lentswe Mosweunyane, Patient Rambe, Dennis Dzansi
2019 South African Journal of Economic and Management Sciences  
The study recommended that tourism SMMEs should create a policy framework for comprehensive stakeholder engagement that serves the interests of all individuals.Conclusion: To increase the competitiveness  ...  Moreover, the findings indicate that there is a significant positive relationship between social media business networking and competitiveness of these firms.  ...  Acknowledgements This research article would not be possible without the guidance of my mentors who are also co-authors of the article.  ... 
doi:10.4102/sajems.v22i1.2780 fatcat:wpg55e7vvffuhno3koxz625oy4

Cross-Sectional Evaluation of Grammatical Error Correction Models

Masato Mita, Tomoya Mizumoto, Masahiro Kaneko, Ryo Nagata, Kentaro Inui
2021 Journal of Natural Language Processing  
Specifically, we evaluated performance of four GEC models (based on LSTM, CNN, Transformer and SMT) against six corpora (CoNLL-2013, CoNLL-2014, FCE, JFLEG, KJ and BEA-2019.  ...  the proficiency levels of the writers and essay topics.  ...  Junczys-Dowmunt et al. 2018; Grundkiewicz and Junczys-Dowmunt 2018; Lichtarge et al. 2019; Zhao et al. 2019; Kiyono et al. 2019; Kaneko et al. Napoles et al. 2015, 2016a) (Junczys-Dowmunt et al.  ... 
doi:10.5715/jnlp.28.160 fatcat:7r5f2hkooraynmatsi6mzrwisu

Building the Bridge between Higher Learning Institution and Social Media Technologies through Mobile Learning in Malaysia

2019 International Journal of Engineering and Advanced Technology  
This study reviews and evaluates the SMTs related research articles published in academic journals between the year 2010 to 2018, mainly in HLIs fields.  ...  It identifies the impacts of SMTs on both students and academicianss in HLIs and associate how SMTs can be effectively connected to Mobile learning to support and enhance the students' learning in Malaysia  ...  According to (Akeriwa, Penzhorn, & Holmner, 2015) , SMTs will draw the students" attention and motivate their participation.  ... 
doi:10.35940/ijeat.e1133.0585c19 fatcat:smkbm2l7lndynm5d5w3reuj5sm

CUED@WMT19:EWC&LMs

Felix Stahlberg, Danielle Saunders, Adrià de Gispert, Bill Byrne
2019 Proceedings of the Fourth Conference on Machine Translation (Volume 2: Shared Task Papers, Day 1)  
Two techniques provide the fabric of the Cambridge University Engineering Department's (CUED) entry to the WMT19 evaluation campaign: elastic weight consolidation (EWC) and different forms of language  ...  As in previous years, we also extract n-gram probabilities from SMT lattices which can be seen as a source-conditioned ngram LM.  ...  Acknowledgments This work was supported by the U.K.  ... 
doi:10.18653/v1/w19-5340 dblp:conf/wmt/StahlbergSGB19 fatcat:6djejanvgrhzvi2rm62brnoami

The Motivations for the Adoption of Management Innovation by Local Governments and its Performance Effects

Rhys Andrews, Benedetta Bello, James Downe, Steve Martin, Richard Walker
2021 PAR. Public Administration Review  
SMTs do so when the political circumstances are favorable and coercive and mimetic institutional pressures are present. • The sharing of a SMT leads to reduced public service efficiency and effectiveness  ...  This article analyses the economic, political, and institutional antecedents and performance effects of the adoption of shared Senior Management Teams (SMTs)-a management innovation (MI) that occurs when  ...  Local governments with shared SMTs typically start by sharing a CEO before moving on to sharing the whole SMT, signing a contract to split the costs of the shared managers. 2.  ... 
doi:10.1111/puar.13375 fatcat:divpr6mfdbdljkwpahdhvqs3aq

TOOLympics 2019: An Overview of Competitions in Formal Methods [chapter]

Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda (+3 others)
2019 Msphere  
Competitions are a suitable way to do that. The first verification competition was created in 1992 (SAT competition), shortly followed by the CASC competition in 1996.  ...  Since the year 2000, the number of dedicated verification competitions is steadily increasing.  ...  The International Satisfiability Modulo Theories Competition (SMT-COMP) is an annual competition between SMT solvers.  ... 
doi:10.1007/978-3-030-17502-3_1 fatcat:ry2mnbgxijbw7c2flufmx25wpq

Sheffield Submissions for the WMT18 Quality Estimation Shared Task

Julia Ive, Carolina Scarton, Frédéric Blain, Lucia Specia
2018 Proceedings of the Third Conference on Machine Translation: Shared Task Papers  
Our systems show competitive results and outperform the baseline in nearly all cases.  ...  In this paper we present the University of Sheffield submissions for the WMT18 Quality Estimation shared task.  ...  Acknowledgments Carolina Scarton is supported by the EC project SIMPATICO (H2020-EURO-6-2015, grant number 692819). Frédéric Blain is supported by the Amazon Academic Research Awards program.  ... 
doi:10.18653/v1/w18-6463 dblp:conf/wmt/IveSBS18 fatcat:kyj55ujkv5cx5exw2n6p3c2r74

Sustaining Disruption? On the Transition from Statistical to Neural Machine Translation

Dorothy Kenny
2018 Tradumàtica tecnologies de la traducció  
initially evaluated in much the same way as its predecessor.  ...  If statistical machine translation (SMT) was a disruptive technology, then neural machine translation (NMT) is probably a sustaining technology, continuing on a trajectory already established by SMT, and  ...  Statistical machine translation (SMT) was state of the art in machine translation from the mid-2000s through to 2015, when it was displaced by neural machine translation (NMT) (see Bentivogli et al.,  ... 
doi:10.5565/rev/tradumatica.221 fatcat:cpk7rufqx5dknpzfxl4yycfpdm

Spherical montmorillonite-supported nano-silver as a self-sedimentary catalyst for methylene blue removal

Ning Wang, Fengyan Xiao, Jinlin Zhang, Hangsheng Zhou, Yawei Qin, Dawei Pan
2019 Applied Clay Science  
However, the reusability procedure often involved the abundant devices, which obviously increased the cost and heavily limited the large-scale application of metal nanoparticles.  ...  Our research aims at opening a new avenue to easily realize the reusability of silver nanoparticles through using the substrate with the self-sedimentary property. ⁎ Corresponding authors.  ...  Acknowledgments The authors gratefully acknowledge the funding support from National Natural Science Foundation of China  ... 
doi:10.1016/j.clay.2019.03.021 fatcat:r265jd7lkjgr7mebjyu7u6ugxa

Benchmarking Neural and Statistical Machine Translation on Low-Resource African Languages

Kevin Duh, Paul McNamee, Matt Post, Brian Thompson
2020 International Conference on Language Resources and Evaluation  
Our findings suggest that statistical machine translation (SMT) and neural machine translation (NMT) can perform similarly in low-resource scenarios, but neural systems require more careful tuning to match  ...  Finally, we survey the landscape of machine translation resources for the languages of Africa and provide some suggestions for promising future research directions.  ...  Carl Rubino and his team at the IARPA MA-TERIAL for providing this data. We also thank Philipp Koehn for help with the Paracrawl data.  ... 
dblp:conf/lrec/DuhMPT20 fatcat:43asuun6jne2hefztl6qb4m6ga

Why high grain yield can be achieved in single seedling machine-transplanted hybrid rice under dense planting conditions?

Min HUANG, Shuang-lü SHAN, Xiao-bing XIE, Fang-bo CAO, Ying-bin ZOU
2018 Journal of Integrative Agriculture  
Field experiments were done in Yong'an Town, Hunan Province, China in 2015 and 2016.  ...  Larger leaf area per stem was partly responsible for the heavier dry weight per stem under SMT than under CMT.  ...  Acknowledgements This work was supported by the National Key R&D Program of China (2017YFD0301503) and the earmarked found for China Agriculture Research System (CARS-01).  ... 
doi:10.1016/s2095-3119(17)61771-4 fatcat:gawxaiwd5nesrom4rxdo7xpzfy

Revisiting Low-Resource Neural Machine Translation: A Case Study

Rico Sennrich, Biao Zhang
2019 Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics  
amounts of auxiliary data to achieve competitive results.  ...  In this paper, we re-assess the validity of these results, arguing that they are the result of lack of system adaptation to low-resource settings.  ...  Biao Zhang acknowledges the support of the Baidu Scholarship.  ... 
doi:10.18653/v1/p19-1021 dblp:conf/acl/SennrichZ19 fatcat:euk3jr6jrff6pgqxm2lbbyy7nm
« Previous Showing results 1 — 15 out of 1,380 results