Search results for "Languages"

showing 10 items of 2101 documents

Black-Box Solvers

2017

Linear programming is perhaps the best-known tool for optimization. Linear programming is a general-purpose framework that allows a real system to be abstracted as a model with a linear objective function subject to a set of linear constraints.

Set (abstract data type)Mathematical optimizationLinear programmingComputer scienceBlack boxComputer Science::Programming LanguagesSubject (documents)
researchProduct

Left-to-right tree pattern matching

1991

We propose a new technique to construct left-to-right matching automata for trees. Our method is based on the novel concept of prefix unifcation which is used to compute a certain closure of the pattern set. From the closure a kind of deterministic matching automaton can be derived immediately. We also point out how to perform the construction incrementally which makes our approach suitable for applications in which pattern sets change dynamically, such as in the Knuth-Bendix completion algorithm.

Set (abstract data type)PrefixFunctional programmingTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESMatching (graph theory)Computer scienceClosure (topology)Point (geometry)Construct (python library)AlgorithmAutomaton
researchProduct

A High Level Language for Pyramidal Architectures

1986

In the paper are described the syntax and some implementation features of a high level language for pyramidal architectures called Pyramid B Language (PCL). The language is an extension of the B and include data type, set of instructions and builtin functions oriented to the pyramidal architectures. Some notes on the implementation for the PAPIA machine are also given.

Set (abstract data type)Syntax (programming languages)Computer scienceProgramming languagePyramidComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONExtension (predicate logic)computer.software_genrecomputerData type
researchProduct

Construction and Implementation of LR(1) Parsers

1990

This chapter is devoted to the practical issues involved in the construction and use of deterministic LR(1) parsers. We shall show how the practical versions of LR (1) parsers, most notably the LALR (1) parsers, can be constructed efficiently, and we shall present methods for encoding LR(1) parsers as efficient RAM programs. Two versions of RAM program implementation are considered: in the first implementation the parsing program is table-driven, that is, the rules of the parser are encoded in a two-dimensional array which is simulated by a program body; in the other implementation the tabular information is further transformed into a set of program statements.

Set (abstract data type)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESParsingLR parserComputer scienceProgramming languageEncoding (memory)computer.software_genreLALR parsercomputerCanonical LR parser
researchProduct

"This is Babel": Sicily, The Mediterranean Islands and Southern Italy (1450-1550)

2016

This essay focuses on period from the 15th to the 16th centuries, a period, moreover rich in documents that can be related to many still extant monuments. This period regarded as a critical phases from European civilization, offers the opportunity to sched light on equally striking artistic achievements in the heart of the Mediterranean area: in Southern Italy, Sicily and the nearby islands. The topic of ornament is particolarly suitable for explicating the key features, boundaries, and tensions characteristics of this region, as well, as for addressing the presents of vernacular elements that ought to find their place in the larger artistic histories of the period. the choise of the subjec…

Settore ICAR/18 - Storia Dell'ArchitetturaSicily Mediterranean Islands Southern Italy Languages monuments ornaments 15th-16th
researchProduct

A Medium Level Language for Pyramid Architectures

1989

In the paper a Parallel C Languages for pyramid architectures is described. The concept of context is introduced in order to handle concurrence between processes in massive parallel machines. Feature implementation on the PAPIA-machine are given.

Settore INF/01 - InformaticaComputer scienceSpeech recognitionConcurrencyPyramidFeature (machine learning)ConcurrenceContext (language use)Parallel computingParallel languages Concurrency Image Analysis Pyramids.
researchProduct

Knowledge Discovery and Digital Cartography for the ALS (Linguistic Atlas of Sicily) Project

2009

In this paper the latest developments of the ALS (Linguistic Atlas of Sicily) project are presented. The ALS project has the purpose to define methodologies and tools to allow researches in the socio-linguistic field. Different types of variables (both quantitative and qualitative) are involved. The whole framework is based on the definition of ontology-based applications for the creation, retrieval, manipulation and browsing of related data. To this aim, some mapping processes have been defined. The framework eventually shows the result in many ways including spatial maps. The on-going collaboration process is a perfect example a domain hybridizing process, enabling the training on-the-fie…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniData Abstraction and Mapping Spatial Databases and GIS Markup Languages OntologiesMarkup languageKnowledge extractionDigital mappingAtlas (topology)Computer scienceOntologyOntology (information science)Data scienceLinguistics
researchProduct

Towards a deep-learning-based methodology for supporting satire detection

2021

This paper describes an approach for supporting automatic satire detection through effective deep learning (DL) architecture that has been shown to be useful for addressing sarcasm/irony detection problems. We both trained and tested the system exploiting articles derived from two important satiric blogs, Lercio and IlFattoQuotidiano, and significant Italian newspapers.

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniDeep Neural NetworksSettore INF/01 - InformaticaVisual languagesNatural Language processingDeep learningSatire Detection
researchProduct

A New Class of Searchable and Provably Highly Compressible String Transformations

2019

The Burrows-Wheeler Transform is a string transformation that plays a fundamental role for the design of self-indexing compressed data structures. Over the years, researchers have successfully extended this transformation outside the domains of strings. However, efforts to find non-trivial alternatives of the original, now 25 years old, Burrows-Wheeler string transformation have met limited success. In this paper we bring new lymph to this area by introducing a whole new family of transformations that have all the "myriad virtues" of the BWT: they can be computed and inverted in linear time, they produce provably highly compressible strings, and they support linear time pattern search direc…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFOS: Computer and information sciences050101 languages & linguisticsBurrows-wheeler transformation; Combinatorics on words; Data indexing and compression000 Computer science knowledge general worksSettore INF/01 - InformaticaCombinatorics on words05 social sciences02 engineering and technologyData_CODINGANDINFORMATIONTHEORYComputer ScienceBurrows-wheeler transformationComputer Science - Data Structures and Algorithms0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing0501 psychology and cognitive sciencesData Structures and Algorithms (cs.DS)Data indexing and compressionCombinatorics on word
researchProduct

An innovative tailored instructional design for computer programming courses in engineering

2023

Industry 4.0 and 5.0 topics are emerging fields and have seen rising demand recently. There is a critical need, on the other hand, for improved methods of instructing programming languages since a growing lack of student motivation during the pandemic has had a deleterious influence on the education of programmers. In this context, online/hybrid computer programming courses must be addressed with innovative solutions to support the field with well-educated professionals. In this paper, we present a case study to propose an innovative tailored instructional design for the online/hybrid learning environments for programming courses in engineering faculties. To develop the instructional design…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniHybrid LearningSettore FIS/08 - Didattica E Storia Della FisicaGeneral EngineeringUndergraduate Innovative EducationProgramming LanguagesCourse DesignSettore FIS/07 - Fisica Applicata(Beni Culturali Ambientali Biol.e Medicin)U.Porto Journal of Engineering
researchProduct