Accedi

Bibliografie tematiche / Programming language translation / Articoli di riviste

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Programming language translation.

Articoli di riviste sul tema "Programming language translation"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 3 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 articoli di riviste per l'attività di ricerca sul tema "Programming language translation".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.

1

Darvas, Dániel, István Majzik, and Enrique Blanco Viñuela. "PLC Program Translation for Verification Purposes." Periodica Polytechnica Electrical Engineering and Computer Science 61, no. 2 (May 23, 2017): 151. http://dx.doi.org/10.3311/ppee.9743.

Testo completo

Abstract (sommario):

Programmable logic controllers are typically programmed in one of the five languages defined in the IEC 61131 standard. While the ability to choose the appropriate language for each program unit may be an advantage for the developers, it poses a serious challenge to verification methods. In this paper we analyse and compare these languages to show that the ST programming language can efficiently and conveniently represent all PLC languages for formal verification purposes. Furthermore, we provide a translation method from IL to ST programming languages (for the Siemens implementation), togethe

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Reznikova, Sofia, Victor Rivera, Joo Young Lee, and Manuel Mazzara. "Translation from Event-B into Eiffel." Modeling and Analysis of Information Systems 25, no. 6 (December 19, 2018): 623–36. http://dx.doi.org/10.18255/1818-1015-2018-6-623-636.

Testo completo

Abstract (sommario):

Formal modelling languages play a key role in the development of software: they enable users to specify functional requirements that serve as documentation as well; they enable users to prove the correctness of system properties, especially for critical systems. However, there is still an open question on how to map formal models to a specific programming language. In order to propose a solution, this paper presents a source-to-source mapping between Event-B models, a formal modelling language for reactive systems, and Eiffel programs, an Object Oriented (O-O) programming language. The mapping

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Ling, Wang, Luís Marujo, Chris Dyer, Alan W. Black, and Isabel Trancoso. "Mining Parallel Corpora from Sina Weibo and Twitter." Computational Linguistics 42, no. 2 (June 2016): 307–43. http://dx.doi.org/10.1162/coli_a_00249.

Testo completo

Abstract (sommario):

Microblogs such as Twitter, Facebook, and Sina Weibo (China's equivalent of Twitter) are a remarkable linguistic resource. In contrast to content from edited genres such as newswire, microblogs contain discussions of virtually every topic by numerous individuals in different languages and dialects and in different styles. In this work, we show that some microblog users post “self-translated” messages targeting audiences who speak different languages, either by writing the same message in multiple languages or by retweeting translations of their original posts in a second language. We introduce

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Et. al., Syed Abdul Basit Andrabi,. "A Review of Machine Translation for South Asian Low Resource Languages." Turkish Journal of Computer and Mathematics Education (TURCOMAT) 12, no. 5 (April 10, 2021): 1134–47. http://dx.doi.org/10.17762/turcomat.v12i5.1777.

Testo completo

Abstract (sommario):

Machine translation is an application of natural language processing. Humans use native languages to communicate with one another, whereas programming languages communicate between humans and computers. NLP is the field that involves a broad set of techniques for analysis, manipulation and automatic generation of human languages or natural languages with the help of computers. It is essential to provide access to information to people for their development in the present information age. It is necessary to put equal emphasis on removing the barrier of language between different divisions of so

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Chiba, Masaki, Toshiyuki Katayama, and Hajime Tanaka. "A database translator of nuclear reaction data for international data exchange." Journal of Information Science 12, no. 4 (June 1986): 153–65. http://dx.doi.org/10.1177/016555158601200402.

Testo completo

Abstract (sommario):

A practical experience in the development of a database translator is reported for use with nuclear reaction databases. The database translator provides for the exchange of nuclear reaction data between a national centre and an international centre with nuclear reaction databases. It is composed of three levels: block level, section level and code level. The translation technique adapted is one usual in programming language translation having very hospitable rules. Some difficulties similar to natural language translation are discussed, since these two databases have different schema of data c

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Gunarto, Hary. "Apps-based Machine Translation on Smart Media Devices - A Review." IJCCS (Indonesian Journal of Computing and Cybernetics Systems) 13, no. 1 (January 31, 2019): 95. http://dx.doi.org/10.22146/ijccs.43066.

Testo completo

Abstract (sommario):

Machine Translation Systems are part of Natural Language Processing (NLP) that makes communication possible among people using their own native language through computer and smart media devices. This paper describes recent progress in language dictionaries and machine translation commonly used for communications and social interaction among people or Internet users worldwide who speak different languages. Problems of accuracy and quality related to computer translation systems encountered in web & Apps-based translation are described and discussed. Possible programming solutions to the pro

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Anjani, Artica Rizza, Sisca Wulansari Saputri, and Aa Qona’atun. "A TRANSLATION EQUIVALENCE ANALYSIS OF ABSTRACT TRANSLATION IN FACULTY OF COMPUTER SCIENCE UNIVERSITY OF BANTEN JAYA 2019." Journal of English Language Teaching and Literature (JELTL) 4, no. 1 (February 28, 2021): 1–15. http://dx.doi.org/10.47080/jeltl.v4i1.1224.

Testo completo

Abstract (sommario):

The research is content analysis which explores the using of translation equivalences applied in Faculty of Computer Science. Considering that the Faculty of Computer Science indirectly and unconsciously often carry out the process of translation in daily activities in the programming language used. The research thus aims to provide how is translation equivalence and what is the dominant translation equivalence used in translation of abstract internship report in Faculty of Computer Science 7th semester in Banten Jaya University 2019. The data conducted from 3 sections of collecting data which

Gli stili APA, Harvard, Vancouver, ISO e altri

8

LEE, JOOHYUNG, NIKHIL LONEY, and YUNSONG MENG. "Representing hybrid automata by action language modulo theories." Theory and Practice of Logic Programming 17, no. 5-6 (August 23, 2017): 924–41. http://dx.doi.org/10.1017/s1471068417000412.

Testo completo

Abstract (sommario):

AbstractBoth hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to succinctly represent hybrid automata in an action language which in turn is defined as a high-level notation for answer set programming modulo theories—an extension of answer set programs to the first-order level similar to the way satisfiability modulo theories (SMT) extends propositional satisfiability (SAT). We first show how to represent linear hybrid automata with convex invariants by an action language

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Lucatero, Alejandra, J. Raymundo Marcial-Romero, and J. A. Hernández. "A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++." Acta Universitaria 22 (March 1, 2012): 35–41. http://dx.doi.org/10.15174/au.2012.339.

Testo completo

Abstract (sommario):

Language for Redundant Test (LRT) is a programming language for exact real number computation. Its lazy evaluation mechanism (also called call-by-need) and its infinite list requirement, make the language appropriate to be implemented in a functional programming language such as Haskell. However, a direction translation of the operational semantics of LRT into Haskell as well as the algorithms to implement basic operations (addition subtraction, multiplication, division) and trigonometric functions (sin, cosine, tangent, etc.) makes the resulting scientific calculator time consuming and so ine

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Gupta, Rahul, Aditya Kanade, and Shirish Shevade. "Deep Reinforcement Learning for Syntactic Error Repair in Student Programs." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 930–37. http://dx.doi.org/10.1609/aaai.v33i01.3301930.

Testo completo

Abstract (sommario):

Novice programmers often struggle with the formal syntax of programming languages. In the traditional classroom setting, they can make progress with the help of real time feedback from their instructors which is often impossible to get in the massive open online course (MOOC) setting. Syntactic error repair techniques have huge potential to assist them at scale. Towards this, we design a novel programming language correction framework amenable to reinforcement learning. The framework allows an agent to mimic human actions for text navigation and editing. We demonstrate that the agent can be tr

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Kostyuk, Yu L. "EFFECTIVE TRANSLATION FOR LL(1)-GRAMMAR IN THE EXAMPLE OF A PROGRAMMING LANGUAGE." Prikladnaya diskretnaya matematika, no. 37 (September 1, 2017): 90–99. http://dx.doi.org/10.17223/20710410/37/7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Huong, Giang Nguyen Thi. "GCC2Verilog Compiler Toolset for Complete Translation of C Programming Language into Verilog HDL." ETRI Journal 33, no. 5 (October 4, 2011): 731–40. http://dx.doi.org/10.4218/etrij.11.0110.0654.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Chang, Yin-Wen, and Michael Collins. "A Polynomial-Time Dynamic Programming Algorithm for Phrase-Based Decoding with a Fixed Distortion Limit." Transactions of the Association for Computational Linguistics 5 (December 2017): 59–71. http://dx.doi.org/10.1162/tacl_a_00046.

Testo completo

Abstract (sommario):

Decoding of phrase-based translation models in the general case is known to be NP-complete, by a reduction from the traveling salesman problem (Knight, 1999). In practice, phrase-based systems often impose a hard distortion limit that limits the movement of phrases during translation. However, the impact on complexity after imposing such a constraint is not well studied. In this paper, we describe a dynamic programming algorithm for phrase-based decoding with a fixed distortion limit. The runtime of the algorithm is O( nd! lh d+1) where n is the sentence length, d is the distortion limit, l is

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Trubnikov, S. V., and O. R. Denysiuk. "Implementation of a helper program for comics creation using text processing methods." Computer Modeling: Analysis, Control, Optimization 7, no. 1 (2020): 64–69. http://dx.doi.org/10.32434/2521-6406-2020-1-7-64-69.

Testo completo

Abstract (sommario):

The paper discusses the development of a helper program "TypesetHelper", designed to facilitate the process of creating and translating comics. An analysis of functions of translation in modern society shows that translation, currently, is primarily a means of enabling communication between people who speak different languages. This applies, among other things, to such a specific niche as the translation of graphic novels, comics and manga. In the modern world, comics have become an integral part of popular culture, but in Ukraine, the culture of reading and translating comics is only at the s

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Merigoux, Denis, Nicolas Chataing, and Jonathan Protzenko. "Catala: a programming language for the law." Proceedings of the ACM on Programming Languages 5, ICFP (August 22, 2021): 1–29. http://dx.doi.org/10.1145/3473582.

Testo completo

Abstract (sommario):

Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm. Unfortunately, prose remains a woefully inadequate tool for the job. The lack of formalism leaves room for ambiguities; the structure of legal statutes, with many paragraphs and sub-sections spread across m

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Tillmann, Christoph, and Hermann Ney. "Word Reordering and a Dynamic Programming Beam Search Algorithm for Statistical Machine Translation." Computational Linguistics 29, no. 1 (March 2003): 97–133. http://dx.doi.org/10.1162/089120103321337458.

Testo completo

Abstract (sommario):

In this article, we describe an efficient beam search algorithm for statistical machine translation based on dynamic programming (DP). The search algorithm uses the translation model presented in Brown et al. (1993). Starting from a DP-based solution to the traveling-salesman problem, we present a novel technique to restrict the possible word reorderings between source and target language in order to achieve an efficient search algorithm. Word reordering restrictions especially useful for the translation direction German to English are presented. The restrictions are generalized, and a set of

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Anwar, Muh, Nurming Saleh, Wahyu Kurniati Asri, Ambo Dalle, and Hasmawati Hasmawati. "Qualitative Analysis of Problems Faced by Indonesian Students in Translation Subject." Eralingua: Jurnal Pendidikan Bahasa Asing dan Sastra 4, no. 2 (July 27, 2020): 270. http://dx.doi.org/10.26858/eralingua.v4i2.13800.

Testo completo

Abstract (sommario):

The purpose of this study was to investigate problems faced by Indonesian students in learning German translation subject. This study uses a qualitative approach with the aim of discovering the problems experienced by students in-depth during the translation course. Data collection techniques used were interviews and observation. The research respondents were students majoring in German language education who were programming courses in translation. After the data is collected, the data is analyzed descriptively qualitatively. Data that has been analyzed are then verified again by conducting F

Gli stili APA, Harvard, Vancouver, ISO e altri

18

INCLEZAN, DANIELA. "CoreALMlib: An library translated from the Component Library." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 800–816. http://dx.doi.org/10.1017/s1471068416000363.

Testo completo

Abstract (sommario):

AbstractThis paper presents CoreALMlib, an $\mathscr{ALM}$ library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the Component Library (CLib) into the modular action language $\mathscr{ALM}$. CLib consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targets CLibstates (i.e., fluents) and actions. The resulting $\mathscr{ALM}$ library contains the descriptions of 123 action classes grouped into 43 reusable modules that are organized into a hiera

Gli stili APA, Harvard, Vancouver, ISO e altri

19

BANYASAD, OMID, and PHILIP T. COX. "DESIGN AND IMPLEMENTATION OF AN EDITOR/INTERPRETER FOR A VISUAL LOGIC PROGRAMMING LANGUAGE." International Journal of Software Engineering and Knowledge Engineering 23, no. 06 (August 2013): 801–38. http://dx.doi.org/10.1142/s0218194013500216.

Testo completo

Abstract (sommario):

The design and implementation of a programming environment including an editor, a debugger and an interpreter engine for Lograph, a general-purpose visual logic programming language, is discussed. The rationale for user-interface design decisions is presented, the goal of which is to increase cognitive support for the creation, exploration and debugging of Lograph programs. The design of the interpreter engine allows for animation of execution in the debugger. The engine takes full advantage of an efficient implementation of Prolog, and operates on a Prolog translation of Lograph programs and

Gli stili APA, Harvard, Vancouver, ISO e altri

20

MYREEN, MAGNUS O., and SCOTT OWENS. "Proof-producing translation of higher-order logic into pure and stateful ML." Journal of Functional Programming 24, no. 2-3 (January 20, 2014): 284–315. http://dx.doi.org/10.1017/s0956796813000282.

Testo completo

Abstract (sommario):

AbstractThe higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of functional programs. However, to efficiently run these programs, they must be converted (or ‘extracted’) to functional programs in a programming language such as ML or Haskell. With current techniques, this step, which must be trusted, relates similar looking objects that have very different semantic definitions, such as the set-theoretic model of a logic and the operational semantics of a programming language. In this paper, we show

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Arabas, Sylwester, Dorota Jarecka, Anna Jaruga, and Maciej Fijałkowski. "Formula Translation in Blitz++, NumPy and Modern Fortran: A Case Study of the Language Choice Tradeoffs." Scientific Programming 22, no. 3 (2014): 201–22. http://dx.doi.org/10.1155/2014/870146.

Testo completo

Abstract (sommario):

Three object-oriented implementations of a prototype solver of the advection equation are introduced. The presented programs are based on Blitz++ (C++), NumPy (Python) and Fortran's built-in array containers. The solvers constitute implementations of the Multidimensional Positive-Definite Advective Transport Algorithm (MPDATA). The introduced codes serve as examples for how the application of object-oriented programming (OOP) techniques and new language constructs from C++11 and Fortran 2008 allow to reproduce the mathematical notation used in the literature within the program code. A discussi

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Sammons, Susan. "Challenges in Minority Langage programming in Canada's Eastern Arctic: The Training of Aboriginal Language Interpretor-Translators." section I 38, no. 1 (September 30, 2002): 45–50. http://dx.doi.org/10.7202/004023ar.

Testo completo

Abstract (sommario):

Abstract This article explains the reasons which led to the creation of Arctic College and presents its external and internal structure and more specifically, the programmes of interpretation and translation (eligibility, course contents, etc.). It gives an account of the first two years of its functioning.

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Cornejo, M. Eugenia, David Lobo, and Jesús Medina. "Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach." Mathematics 8, no. 6 (June 1, 2020): 881. http://dx.doi.org/10.3390/math8060881.

Testo completo

Abstract (sommario):

This paper relates two interesting paradigms in fuzzy logic programming from a semantical approach: core fuzzy answer set programming and multi-adjoint normal logic programming. Specifically, it is shown how core fuzzy answer set programs can be translated into multi-adjoint normal logic programs and vice versa, preserving the semantics of the starting program. This translation allows us to combine the expressiveness of multi-adjoint normal logic programming with the compactness and simplicity of the core fuzzy answer set programming language. As a consequence, theoretical properties and resul

Gli stili APA, Harvard, Vancouver, ISO e altri

24

GIORDANO, LAURA, ALBERTO MARTELLI, and DANIELE THESEIDER DUPRÉ. "Reasoning about actions with Temporal Answer Sets." Theory and Practice of Logic Programming 13, no. 2 (January 25, 2012): 201–25. http://dx.doi.org/10.1017/s1471068411000639.

Testo completo

Abstract (sommario):

AbstractIn this paper, we combine Answer Set Programming (ASP) with Dynamic Linear Time Temporal Logic (DLTL) to define a temporal logic programming language for reasoning about complex actions and infinite computations. DLTL extends propositional temporal logic of linear time with regular programs of propositional dynamic logic, which are used for indexing temporal modalities. The action language allows general DLTL formulas to be included in domain descriptions to constrain the space of possible extensions. We introduce a notion of Temporal Answer Set for domain descriptions, based on the us

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Potts, Christopher, Joe Pater, Karen Jesney, Rajesh Bhatt, and Michael Becker. "Harmonic Grammar with linear programming: from linear systems to linguistic typology." Phonology 27, no. 1 (April 16, 2010): 77–117. http://dx.doi.org/10.1017/s0952675710000047.

Testo completo

Abstract (sommario):

AbstractHarmonic Grammar is a model of linguistic constraint interaction in which well-formedness is calculated in terms of the sum of weighted constraint violations. We show how linear programming algorithms can be used to determine whether there is a weighting for a set of constraints that fits a set of linguistic data. The associated software package OT-Help provides a practical tool for studying large and complex linguistic systems in the Harmonic Grammar framework and comparing the results with those of OT. We first describe the translation from harmonic grammars to systems solvable by li

Gli stili APA, Harvard, Vancouver, ISO e altri

26

Abbas, Ali, and Summaira Sarfraz. "Developing a Prototype to Translate Text and Speech to Pakistan Sign Language With Bilingual Subtitles: A Framework." Journal of Educational Technology Systems 47, no. 2 (September 3, 2018): 248–66. http://dx.doi.org/10.1177/0047239518794168.

Testo completo

Abstract (sommario):

The purpose of the study is to provide a literature review of the work done on sign language (SL) around the world and in Pakistan and to develop a translation tool of speech and text to Pakistan Sign Language (PSL) with bilingual subtitles. Information and communication technology and tools development for teaching and learning purposes improve the learning process and facilitate both teachers and students. In Pakistan, unimpaired people face a lot of problems to communicate with deaf people due to the lack of SL understanding, learning resources, and interpreters. This problem is faced by th

Gli stili APA, Harvard, Vancouver, ISO e altri

27

Febriansyah, Febi Eka, Ardiansyah Ardiansyah, and Afan Darmaji. "CAWA LAMPUNG : KAMUS BAHASA INDONESIA-LAMPUNG DIALEK A BERBASIS ANDROID." KLIK - KUMPULAN JURNAL ILMU KOMPUTER 7, no. 3 (October 31, 2020): 331. http://dx.doi.org/10.20527/klik.v7i3.352.

Testo completo

Abstract (sommario):

<p><em>Indonesia is country rich in cultural diversity, one of which is regional languages. In the Law of the Republic of Indonesia Number 24 of 2009 article 1 paragraph 6, what is meant by regional languages is the language used for generations by Indonesian citizens in regional areas in the territory of the Unitary State of the Republic of Indonesia. There are many regional languages in Indonesia, one of which is Lampung. however, the reduction in Lampung language speakers can cause the Lampung language to disappear. With the help of technology, especially Android, it can help to

Gli stili APA, Harvard, Vancouver, ISO e altri

28

HERRMANN, CHRISTOPH A., and CHRISTIAN LENGAUER. "USING METAPROGRAMMING TO PARALLELIZE FUNCTIONAL SPECIFICATIONS." Parallel Processing Letters 12, no. 02 (June 2002): 193–210. http://dx.doi.org/10.1142/s0129626402000926.

Testo completo

Abstract (sommario):

Metaprogramming is a paradigm for enhancing a general-purpose programming language with features catering for a special-purpose application domain, without a need for a reimplementation of the language. In a staged compilation, the special-purpose features are translated and optimised by a domain-specific preprocessor, which hands over to the general-purpose compiler for translation of the domain-independent part of the program. The domain we work in is high-performance parallel computing. We use metaprogramming to enhance the functional language Haskell with features for the efficient, parall

Gli stili APA, Harvard, Vancouver, ISO e altri

29

Eleftherios, Avramidis, Poustka Lukas, and Schmeier Sven. "Qualitative: Open Source Python Tool for Quality Estimation over Multiple Machine Translation Outputs." Prague Bulletin of Mathematical Linguistics 102, no. 1 (September 11, 2014): 5–16. http://dx.doi.org/10.2478/pralin-2014-0009.

Testo completo

Abstract (sommario):

Abstract “Qualitative” is a python toolkit for ranking and selection of sentence-level output by different MT systems using Quality Estimation. The toolkit implements a basic pipeline for annotating the given sentences with black-box features. Consequently, it applies a machine learning mechanism in order to rank data based on models pre-trained on human preferences. The preprocessing pipeline includes support for language models, PCFG parsing, language checking tools and various other pre-processors and feature generators. The code follows the principles of object-oriented programming to allo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Budimlić, Zoran, Ken Kennedy, and Jeff Piper. "The Cost of being Object-Oriented: A Preliminary Study." Scientific Programming 7, no. 2 (1999): 87–95. http://dx.doi.org/10.1155/1999/464598.

Testo completo

Abstract (sommario):

Since the introduction of the Java programming language, there has been widespread interest in the use Java for the high performance scientific computing. One major impediment to such use is the performance penalty paid relative to Fortran. To support our research on overcoming this penalty through compiler technology, we have developed a benchmark suite, called OwlPack, which is based on the popular LINPACK library. Although there are existing implementations of LINPACK in Java, most of these are produced by direct translation from Fortran. As such they do not reflect the style of programming

Gli stili APA, Harvard, Vancouver, ISO e altri

31

Cristiá, Maximiliano, Diego A. Hollmann, and Claudia Frydman. "A multi-target compiler for CML-DEVS." SIMULATION 95, no. 1 (April 13, 2018): 11–29. http://dx.doi.org/10.1177/0037549718765080.

Testo completo

Abstract (sommario):

Discrete Event System Specification (DEVS) is a modular and hierarchical formalism for system modeling and simulation. DEVS models can be mathematically described; simulation is performed by tools called concrete simulators. Concerning atomic DEVS models, each concrete simulator has its own input language which is, essentially, a general-purpose programming language (such as Java or C++). Hence, once engineers have written the mathematical model, they need to manually translate it into the input language of the concrete simulator of their choice. In this paper we present a multi-target compile

Gli stili APA, Harvard, Vancouver, ISO e altri

32

Zasiekin, Serhii. "Approaches to Translation in the Context of Theory of Speech Activity." PSYCHOLINGUISTICS 24, no. 2 (October 3, 2018): 63–77. http://dx.doi.org/10.31470/2309-1797-2018-24-2-63-77.

Testo completo

Abstract (sommario):

Over the past decades there has been a significant increase in the studies exploring cognitive foundations of translation reflected in a considerable amount of literature published on the topic. However, it is important to bear in mind that many of the ideas in the cognitive literature are mainly rooted in the psycholinguistic approaches to translation. For instance, a lot of scholarly works on translation in the former Soviet Union published in 1960-1970s emphasise the role of translator’s thinking and speech processes. The emergence of ‘theory of speech activity’, Soviet version of Western p

Gli stili APA, Harvard, Vancouver, ISO e altri

33

DENG, YONGGANG, SHANKAR KUMAR, and WILLIAM BYRNE. "Segmentation and alignment of parallel text for statistical machine translation." Natural Language Engineering 13, no. 3 (July 6, 2006): 235–60. http://dx.doi.org/10.1017/s1351324906004293.

Testo completo

Abstract (sommario):

We address the problem of extracting bilingual chunk pairs from parallel text to create training sets for statistical machine translation. We formulate the problem in terms of a stochastic generative process over text translation pairs, and derive two different alignment procedures based on the underlying alignment model. The first procedure is a now-standard dynamic programming alignment model which we use to generate an initial coarse alignment of the parallel text. The second procedure is a divisive clustering parallel text alignment procedure which we use to refine the first-pass alignment

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Alshawi, Hiyan, Srinivas Bangalore, and Shona Douglas. "Learning Dependency Translation Models as Collections of Finite-State Head Transducers." Computational Linguistics 26, no. 1 (March 2000): 45–60. http://dx.doi.org/10.1162/089120100561629.

Testo completo

Abstract (sommario):

The paper defines weighted head transducers, finite-state machines that perform middle-out string transduction. These transducers are strictly more expressive than the special case of standard left-to-right finite-state transducers. Dependency transduction models are then defined as collections of weighted head transducers that are applied hierarchically. A dynamic programming search algorithm is described for finding the optimal transduction of an input string with respect to a dependency transduction model. A method for automatically training a dependency transduction model from a set of inp

Gli stili APA, Harvard, Vancouver, ISO e altri

35

Imam, Ayad Tareq, and Ayman Jameel Alnsour. "The Use of Natural Language Processing Approach for Converting Pseudo Code to C# Code." Journal of Intelligent Systems 29, no. 1 (April 16, 2019): 1388–407. http://dx.doi.org/10.1515/jisys-2018-0291.

Testo completo

Abstract (sommario):

Abstract Although current computer-aided software engineering tools support developers in composing a program, there is no doubt that more flexible supportive tools are needed to address the increases in the complexity of programs. This need can be met by automating the intellectual activities that are carried out by humans when composing a program. This paper aims to automate the composition of a programming language code from pseudocode, which is viewed here as a translation process for a natural language text, as pseudocode is a formatted text in natural English language. Based on this view

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Sklyarova, Elena, and Galina Kharlamova. "Digitalization of education and the problem of continuity." E3S Web of Conferences 273 (2021): 12096. http://dx.doi.org/10.1051/e3sconf/202127312096.

Testo completo

Abstract (sommario):

The trends in the modern educational process related to digitalization, the spread of information and communication technologies, the translation of information into the language of computer programming, the use of graphic visualization techniques, computer graphics are considered. There is a tendency to increase the methodological developments prepared by the pedagogical community, dedicated to techniques, optimization of the translation of a large amount of information. The formation of an open digital educational environment is characterized as a factor of external management of the formati

Gli stili APA, Harvard, Vancouver, ISO e altri

37

Milewicz, Reed, Marjan Mernik, and Peter Pirkelbauer. "SimpleConcepts: A lightweight extension to C++ to support constraints on generic types." Computer Science and Information Systems 11, no. 4 (2014): 1361–79. http://dx.doi.org/10.2298/csis131209053m.

Testo completo

Abstract (sommario):

Generic programming plays an essential role in C++ software through the use of templates. However, both the creation and use of template libraries is hindered by the fact that the language does not allow programmers to specify constraints on generic types. To date, no proposal to update the language to provide concepts has survived the committee process. Until that time comes, as a form of early support, this paper introduces SimpleConcepts, an extension to C++11 that provides support for concepts, sets of constraints on generic types. SimpleConcepts features are parsed according to an island

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Lee, J., and R. Palla. "Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming." Journal of Artificial Intelligence Research 43 (April 24, 2012): 571–620. http://dx.doi.org/10.1613/jair.3489.

Testo completo

Abstract (sommario):

Circumscription and logic programs under the stable model semantics are two well-known nonmonotonic formalisms. The former has served as a basis of classical logic based action formalisms, such as the situation calculus, the event calculus and temporal action logics; the latter has served as a basis of a family of action languages, such as language A and several of its descendants. Based on the discovery that circumscription and the stable model semantics coincide on a class of canonical formulas, we reformulate the situation calculus and the event calculus in the general theory of stable mode

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Ruiz, Patricia, and Bernabé Dorronsoro. "A Novel CAD Tool for Electric Educational Diagrams." Applied Sciences 9, no. 4 (February 25, 2019): 810. http://dx.doi.org/10.3390/app9040810.

Testo completo

Abstract (sommario):

Computer-aided design (CAD) is a technological revolution, very powerful and with large applicability to problem solving. It is essential in many different disciplines ranging from architecture to education, medicine, physics, or gaming. In this work, we propose a novel CAD tool, called CADDi, to assist in the design of electric diagrams in the educational context. We are applying the theory of formal languages to create WDLang, an easy-to-use, highly expressive, unequivocal, and correct programming language for designing electric circuits. This programming language is the cornerstone of CADDi

Gli stili APA, Harvard, Vancouver, ISO e altri

40

KODAMA, KOICHI, KOHEI SUENAGA, and NAOKI KOBAYASHI. "Translation of tree-processing programs into stream-processing programs based on ordered linear type." Journal of Functional Programming 18, no. 3 (May 2008): 333–71. http://dx.doi.org/10.1017/s0956796807006570.

Testo completo

Abstract (sommario):

AbstractThere are two ways to write a program for manipulating tree-structured data such as XML documents: One is to write a tree-processing program focusing on the logical structure of the data and the other is to write a stream-processing program focusing on the physical structure. While tree-processing programs are easier to write than stream-processing programs, tree-processing programs are less efficient in memory usage since they use trees as intermediate data. Our aim is to establish a method for automatically translating a tree-processing program to a stream-processing one in order to

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Foit, Krzysztof. "Controlling the Movement of the Robot's Effector on the Plane Using the SVG Markup Language." Advanced Materials Research 837 (November 2013): 577–81. http://dx.doi.org/10.4028/www.scientific.net/amr.837.577.

Testo completo

Abstract (sommario):

In certain situations the robots effector must be moved strictly according to some path. The example of such case could be painting, cutting, milling, welding, glue applying etc. The common feature of the mentioned operations is that in the most of cases, the movement of the tool is realized on the plane. The advantage of use of a tool operated by a robot is that the work area could be placed anywhere in the manipulators workspace and can be set at almost any angle relative to ground. By specifying a local coordinate system, the operator can define the path of the tool. Referring to the earlie

Gli stili APA, Harvard, Vancouver, ISO e altri

42

S D, Kulik, Belov A N, and Matveeva K I. "Development of generation special short articles for the given topic." International Journal of Engineering & Technology 7, no. 2.23 (April 20, 2018): 171. http://dx.doi.org/10.14419/ijet.v7i2.23.11909.

Testo completo

Abstract (sommario):

The subject area and reviewed various sources of information relevant to a given topic will be considered. For implementation of algorithm of generation of the texts was chosen the C# language, as it has a large number of advantages compared to other programming languages, and it also has many libraries which it would be convenient to use in solving a given task. The text presents the structure of the generated article and the scheme of the developed algorithm for the application. Also it describes the structures that are used to implement such applications. The implementation of algorithm of

Gli stili APA, Harvard, Vancouver, ISO e altri

43

Tedjosurya, Dian Puspita, and Suharjito Suharjito. "MODEL OF MOBILE TRANSLATOR APPLICATION OF ENGLISH TO BAHASA INDONESIA WITH RULE-BASED AND J2ME." CommIT (Communication and Information Technology) Journal 8, no. 1 (May 30, 2014): 28. http://dx.doi.org/10.21512/commit.v8i1.593.

Testo completo

Abstract (sommario):

Along with the development of information technology in recent era, a number of new applications emerge, especially on mobile phones. The use of mobile phones, besides as communication media, is also as media of learning, such as translator application. Translator application can be a tool to learn a language, such as English to Bahasa Indonesia translator application. The purpose of this research is to allow user to be able to translate English to Bahasa Indonesia on mobile phone easily. Translator application on this research was developed using Java programming language (especially J2ME) be

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Grando, María Adela. "Owicki-Gries Theory: A Possible Way of Relating Grammar Systems to Concurrent Programs." Triangle, no. 8 (June 29, 2018): 19. http://dx.doi.org/10.17345/triangle8.19-41.

Testo completo

Abstract (sommario):

The aim of this paper is to show how grammar systems and concurrent programs might be viewed as related models for distributed and cooperating computation. We argue that it is possible to translate a grammar system into a concurrent program, where the Owicki-Gries theory and other tools available in the programming framework can be used. The converse translation is also possible and this turns out to be useful when we are looking for a grammar system that can generate a given language. In order to show this we use tools from concurrent programming theory to prove that Lcd = {anbmcndm | n,m ≥ 1

Gli stili APA, Harvard, Vancouver, ISO e altri

45

Avramidis, Eleftherios. "QE::GUI – A Graphical User Interface for Quality Estimation." Prague Bulletin of Mathematical Linguistics 109, no. 1 (October 1, 2017): 51–60. http://dx.doi.org/10.1515/pralin-2017-0038.

Testo completo

Abstract (sommario):

Abstract Despite its wide applicability, Quality Estimation (QE) of Machine Translation (MT) poses a difficult entry barrier since there are no open source tools with a graphical user interface (GUI). Here we present a tool in this direction by connecting the back-end of the QE decision-making mechanism with a web-based GUI. The interface allows the user to post requests to the QE engine and get a visual response with the results. Additionally we provide pre-trained QE models for easier launching of the app. The tool is written in Python so that it can leverage the rich natural language proces

Gli stili APA, Harvard, Vancouver, ISO e altri

46

FAXÉN, KARL-FILIP. "A static semantics for Haskell." Journal of Functional Programming 12, no. 4-5 (July 2002): 295–357. http://dx.doi.org/10.1017/s0956796802004380.

Testo completo

Abstract (sommario):

This paper gives a static semantics for Haskell 98, a non-strict purely functional programming language. The semantics formally specifies nearly all the details of the Haskell 98 type system, including the resolution of overloading, kind inference (including defaulting) and polymorphic recursion, the only major omission being a proper treatment of ambiguous overloading and its resolution. Overloading is translated into explicit dictionary passing, as in all current implementations of Haskell. The target language of this translation is a variant of the Girard–Reynolds polymorphic lambda calculu

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Sussman, Steve. "International Translation of Project EX: A Teen Tobacco Use Cessation Program." SUCHT 58, no. 5 (January 2012): 317–25. http://dx.doi.org/10.1024/0939-5911.a000205.

Testo completo

Abstract (sommario):

Aims: There are relatively few documented teen tobacco use cessation efforts outside the United States (U. S.). Project EX is an evidence-based program that consists of eight sessions, as a school-based clinic tobacco cessation-only version and a classroom-based prevention and cessation version. This paper provides a ‘snapshot’ of progress on international translation of Project EX pilot study work in eight countries that have been approached thus far. The program was implemented in Wuhan, China; Israel and partners; Bashkortostan, Russia; and Elche, Spain. Implementation is planned for Vienna

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Lin, Xiaoqing, Fu Zhang, Danling Wang, and Jingwei Cheng. "RDF keyword search using multiple indexes." Filomat 32, no. 5 (2018): 1861–73. http://dx.doi.org/10.2298/fil1805861l.

Testo completo

Abstract (sommario):

Since SPARQL has been the standard language for querying RDF data, keyword search based on keywords-to-SPARQL translation attracts more intention. However, existing keyword search based on keywords-to-SPARQL translation have limitations that the schema used for keyword-to-SPARQL translation is incomplete so that wrong or incomplete answers are returned and advantages of indexes are not fully taken. To address the issues, an inter-entity relationship summary (ER-summary) is constructed by distilling all the inter-entity relationships of RDF data graph. On ER-summary, we draw circles around each

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Feinerer, Ingo. "Efficient large-scale configuration via integer linear programming." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 27, no. 1 (January 15, 2013): 37–49. http://dx.doi.org/10.1017/s0890060412000376.

Testo completo

Abstract (sommario):

AbstractConfiguration of large-scale applications in an engineering context requires a modeling environment that allows the design engineer to draft the configuration problem in a natural way and efficient methods that can process the modeled setting and scale with the number of components. Existing configuration methods in artificial intelligence typically perform quite well in certain subareas but are hard to use for general-purpose modeling without mathematical or logics background (the so-called knowledge acquisition bottleneck) and/or have scalability issues. As a remedy to this important

Gli stili APA, Harvard, Vancouver, ISO e altri

50

MANZONETTO, GIULIO. "What is a categorical model of the differential and the resource λ-calculi?" Mathematical Structures in Computer Science 22, № 3 (27 лютого 2012): 451–520. http://dx.doi.org/10.1017/s0960129511000594.

Testo completo

Abstract (sommario):

The differential λ-calculus is a paradigmatic functional programming language endowed with a syntactical differentiation operator that allows the application of a program to an argument in a linear way. One of the main features of this language is that it is resource conscious and gives the programmer suitable primitives to handle explicitly the resources used by a program during its execution. The differential operator also allows us to write the full Taylor expansion of a program. Through this expansion, every program can be decomposed into an infinite sum (representing non-deterministic cho

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!