13 Search Results for "Encarna��o, Rui"

Document
DOI: 10.4230/OASIcs.SLATE.2021.15
NetLangEd, A Web Editor to Support Online Comment Annotation

Authors: Rui Rodrigues, Cristiana Araújo, and Pedro Rangel Henriques

Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)

Abstract
This paper focuses on the scientific areas of Digital Humanities, Social Networks and Inappropriate Social Discourse. The main objective of this research project is the development of an editor that allows researchers in the human and social sciences or psychologists to add their reflections or ideas out coming from reading and analyzing posts and comments of an online corpus . In the present context, the editor is being integrated with the analysis tools available in the NetLang platform. NetLangEd, in addition to allowing the three basic operations of adding, editing and removing annotations, will also offer mechanisms to manage, organize, view and locate annotations, all of which will be performed in an easy, fast and user-friendly way.
Cite as

Rui Rodrigues, Cristiana Araújo, and Pedro Rangel Henriques. NetLangEd, A Web Editor to Support Online Comment Annotation. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 15:1-15:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{rodrigues_et_al:OASIcs.SLATE.2021.15,
  author =	{Rodrigues, Rui and Ara\'{u}jo, Cristiana and Henriques, Pedro Rangel},
  title =	{{NetLangEd, A Web Editor to Support Online Comment Annotation}},
  booktitle =	{10th Symposium on Languages, Applications and Technologies (SLATE 2021)},
  pages =	{15:1--15:16},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-202-0},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{94},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.15},
  URN =		{urn:nbn:de:0030-drops-144325},
  doi =		{10.4230/OASIcs.SLATE.2021.15},
  annote =	{Keywords: Online Annotation tool, Document Markup System, Text Editor, Discourse Analysis}
}
Document
DOI: 10.4230/OASIcs.ICPEC.2021.4
Melodic - Teaching Computational Thinking to Visually Impaired Kids

Authors: Rui Costa, Cristiana Araújo, and Pedro Rangel Henriques

Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)

Abstract
This paper presents a proposal, called Melodic, to develop Computational Thinking skills in kids with special educational needs, in this case blindness. The aim of this research is to characterize the subject and identify what are the current most used and best practises to teach this different way of Thinking to kids under those circumstances. In this paper more technical aspects are discussed, such as the architecture for the proposed application in order to accomplish the project goals. Melodic was carefully designed to have an intuitive interface for blind people and a seamless workflow, combining tactile hardware, and QR Code technology with a sound based output.
Cite as

Rui Costa, Cristiana Araújo, and Pedro Rangel Henriques. Melodic - Teaching Computational Thinking to Visually Impaired Kids. In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 4:1-4:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{costa_et_al:OASIcs.ICPEC.2021.4,
  author =	{Costa, Rui and Ara\'{u}jo, Cristiana and Henriques, Pedro Rangel},
  title =	{{Melodic - Teaching Computational Thinking to Visually Impaired Kids}},
  booktitle =	{Second International Computer Programming Education Conference (ICPEC 2021)},
  pages =	{4:1--4:14},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-194-8},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{91},
  editor =	{Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.4},
  URN =		{urn:nbn:de:0030-drops-142205},
  doi =		{10.4230/OASIcs.ICPEC.2021.4},
  annote =	{Keywords: Computational Thinking, Visual Impaired Students Education, Teaching through Music, Learning Resource}
}
Document
DOI: 10.4230/OASIcs.ICPEC.2021.9
Moopec: A Tool for Creating Programming Problems

Authors: Rui C. Mendes

Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)

Abstract
This paper presents a tool called Mooshak ProblEm Creator (Moopec) for facilitating the creation of programming exercises for a web-based multi-site programming contest system called Mooshak [Leal and Silva, 2003]. Users only need to create a text file for specifying all the information concerning problems including their description, tests and user feedback. This tool provides ways of automating most tasks involved in creating problems in Mooshak and, consequently, increases teachers' productivity. Moopec allows instructors to quickly create problem sets by simply editing a text file. Moopec is implemented in Python and is available at https://github.com/rcm/mooshak_problem_creator.
Cite as

Rui C. Mendes. Moopec: A Tool for Creating Programming Problems. In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 9:1-9:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{mendes:OASIcs.ICPEC.2021.9,
  author =	{Mendes, Rui C.},
  title =	{{Moopec: A Tool for Creating Programming Problems}},
  booktitle =	{Second International Computer Programming Education Conference (ICPEC 2021)},
  pages =	{9:1--9:7},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-194-8},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{91},
  editor =	{Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.9},
  URN =		{urn:nbn:de:0030-drops-142253},
  doi =		{10.4230/OASIcs.ICPEC.2021.9},
  annote =	{Keywords: Automatic Program Assessment, Batch Generation, Testing}
}
Document
Short Paper
DOI: 10.4230/OASIcs.ICPEC.2021.13
A Teaching Assistant for the C Language (Short Paper)

Authors: Rui C. Mendes and José João Almeida

Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)

Abstract
We introduce a C tutor that can help instructors manage classes with many students learning to program in C. Nowadays, it is easy to evaluate code but it is hard to provide good feedback. We introduce a tool to help instructors provide students with feedback concerning their implementation and documentation for honing their programming skills. This tool is implemented in Python and is available at https://github.com/rcm/C_teaching_assistant.
Cite as

Rui C. Mendes and José João Almeida. A Teaching Assistant for the C Language (Short Paper). In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 13:1-13:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{mendes_et_al:OASIcs.ICPEC.2021.13,
  author =	{Mendes, Rui C. and Almeida, Jos\'{e} Jo\~{a}o},
  title =	{{A Teaching Assistant for the C Language}},
  booktitle =	{Second International Computer Programming Education Conference (ICPEC 2021)},
  pages =	{13:1--13:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-194-8},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{91},
  editor =	{Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.13},
  URN =		{urn:nbn:de:0030-drops-142296},
  doi =		{10.4230/OASIcs.ICPEC.2021.13},
  annote =	{Keywords: Software metrics, Documentation extractor, Domain specific language, Query language, Report generation}
}
Document
DOI: 10.4230/OASIcs.ICPEC.2020.5
Game Elements, Motivation and Programming Learning: A Case Study

Authors: Davide R. Carneiro and Rui J. R. Silva

Published in: OASIcs, Volume 81, First International Computer Programming Education Conference (ICPEC 2020)

Abstract
The learning of programming is traditionally challenging for students. However, this is also one of the most fundamental skills for any computer scientist, and is becoming an important skill in other areas of knowledge. In this paper we analyze the use of game-elements in a challenging long-term programming task, with students of the 3rd year of a Informatics Engineering degree. We conducted a quantitative study using the AMS scale to assess students' motivation. Results show that with the use of game-elements, students are both intrinsically and extrinsically motivated, and that they consider learning/working fun, which contributes positively to their academic performance.
Cite as

Davide R. Carneiro and Rui J. R. Silva. Game Elements, Motivation and Programming Learning: A Case Study. In First International Computer Programming Education Conference (ICPEC 2020). Open Access Series in Informatics (OASIcs), Volume 81, pp. 5:1-5:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{carneiro_et_al:OASIcs.ICPEC.2020.5,
  author =	{Carneiro, Davide R. and Silva, Rui J. R.},
  title =	{{Game Elements, Motivation and Programming Learning: A Case Study}},
  booktitle =	{First International Computer Programming Education Conference (ICPEC 2020)},
  pages =	{5:1--5:10},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-153-5},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{81},
  editor =	{Queir\'{o}s, Ricardo and Portela, Filipe and Pinto, M\'{a}rio and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2020.5},
  URN =		{urn:nbn:de:0030-drops-122924},
  doi =		{10.4230/OASIcs.ICPEC.2020.5},
  annote =	{Keywords: Motivation, Programming, Genetic Algorithms}
}
Document
DOI: 10.4230/OASIcs.ICPEC.2020.9
Turing - Inter School Programming Contest: Pedagogical Innovation in Programming Teaching for Middle Schools

Authors: Rui Figueiredo, Bárbara Cleto, and José Manuel Cerqueira

Published in: OASIcs, Volume 81, First International Computer Programming Education Conference (ICPEC 2020)

Abstract
Turing is an interscholastic tournament that aims at promoting the teaching of informatics, particularly the learning of programming through gamification. It is a competition between secondary schools, organized by teachers of informatics, for their own students. Turing was developed due to the lack of tournaments and competitions organized by teachers in this level of education. By contrast, universities and polytechnic institutes regularly organize programming tournaments, aimed at students of both secondary schools and universities. Given that its Turing is a pilot project, the first edition of the tournament will take place in March 2020 and it will occur simultaneously in three secondary schools. The students who are (voluntarily) enrolled in Turing will have an hour and thirty minutes to solve a set of problems in C programming language via Web, through the E-Learning platform Moodle while using the plugin CodeRunner.
Cite as

Rui Figueiredo, Bárbara Cleto, and José Manuel Cerqueira. Turing - Inter School Programming Contest: Pedagogical Innovation in Programming Teaching for Middle Schools. In First International Computer Programming Education Conference (ICPEC 2020). Open Access Series in Informatics (OASIcs), Volume 81, pp. 9:1-9:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{figueiredo_et_al:OASIcs.ICPEC.2020.9,
  author =	{Figueiredo, Rui and Cleto, B\'{a}rbara and Cerqueira, Jos\'{e} Manuel},
  title =	{{Turing - Inter School Programming Contest: Pedagogical Innovation in Programming Teaching for Middle Schools}},
  booktitle =	{First International Computer Programming Education Conference (ICPEC 2020)},
  pages =	{9:1--9:7},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-153-5},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{81},
  editor =	{Queir\'{o}s, Ricardo and Portela, Filipe and Pinto, M\'{a}rio and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2020.9},
  URN =		{urn:nbn:de:0030-drops-122961},
  doi =		{10.4230/OASIcs.ICPEC.2020.9},
  annote =	{Keywords: CodeRunner, Contest, Game, Gamification, Programming, Turing}
}
Document
DOI: 10.4230/OASIcs.SLATE.2019.22
Hunting Ancestors: A Unified Approach for Discovering Genealogical Information

Authors: José João Almeida and Rui Castro Mendes

Published in: OASIcs, Volume 74, 8th Symposium on Languages, Applications and Technologies (SLATE 2019)

Abstract
This paper presents an unified approach for discovering genealogical information. It presents a frameworks for storing information concerning ancestors, locations, dates and documents. It also intends to provide a framework that is able to perform inference concerning dates by using constraints and for handling relations, locations and sources. The DSL presented also aims to help users store information from heterogeneous sources along with the evidence contained therein.
Cite as

José João Almeida and Rui Castro Mendes. Hunting Ancestors: A Unified Approach for Discovering Genealogical Information. In 8th Symposium on Languages, Applications and Technologies (SLATE 2019). Open Access Series in Informatics (OASIcs), Volume 74, pp. 22:1-22:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{almeida_et_al:OASIcs.SLATE.2019.22,
  author =	{Almeida, Jos\'{e} Jo\~{a}o and Mendes, Rui Castro},
  title =	{{Hunting Ancestors: A Unified Approach for Discovering Genealogical Information}},
  booktitle =	{8th Symposium on Languages, Applications and Technologies (SLATE 2019)},
  pages =	{22:1--22:6},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-114-6},
  ISSN =	{2190-6807},
  year =	{2019},
  volume =	{74},
  editor =	{Rodrigues, Ricardo and Janou\v{s}ek, Jan and Ferreira, Lu{\'\i}s and Coheur, Lu{\'\i}sa and Batista, Fernando and Gon\c{c}alo Oliveira, Hugo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2019.22},
  URN =		{urn:nbn:de:0030-drops-108890},
  doi =		{10.4230/OASIcs.SLATE.2019.22},
  annote =	{Keywords: Genealogy, Domain Specific Language, Temporal Constraints}
}
Document
DOI: 10.4230/OASIcs.SLATE.2018.5
eOS: The Exercise Operating System

Authors: Rui Mendes and José João Almeida

Published in: OASIcs, Volume 62, 7th Symposium on Languages, Applications and Technologies (SLATE 2018)

Abstract
We present an architecture for a system for creating, adapting and evaluating programming exercises for students. The system is capable of generating exercise skeletons, automatically creating inputs and outputs, provide a way of creating a large number of exercises programmatically and allowing students to solve them while giving them feedback. Furthermore, it allows the creation of special comparators that can check whether the output of a given submission is equivalent to the expected one or simply check whether the above mentioned output corresponds to a correct solution.
Cite as

Rui Mendes and José João Almeida. eOS: The Exercise Operating System. In 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Open Access Series in Informatics (OASIcs), Volume 62, pp. 5:1-5:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{mendes_et_al:OASIcs.SLATE.2018.5,
  author =	{Mendes, Rui and Almeida, Jos\'{e} Jo\~{a}o},
  title =	{{eOS: The Exercise Operating System}},
  booktitle =	{7th Symposium on Languages, Applications and Technologies (SLATE 2018)},
  pages =	{5:1--5:13},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-072-9},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{62},
  editor =	{Henriques, Pedro Rangel and Leal, Jos\'{e} Paulo and Leit\~{a}o, Ant\'{o}nio Menezes and Guinovart, Xavier G\'{o}mez},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2018.5},
  URN =		{urn:nbn:de:0030-drops-92630},
  doi =		{10.4230/OASIcs.SLATE.2018.5},
  annote =	{Keywords: domain specific language, code generation, automatic evaluation, testing}
}
Document
DOI: 10.4230/OASIcs.SLATE.2018.12
ASAPP 2.0: Advancing the state-of-the-art of semantic textual similarity for Portuguese

Authors: Ana Alves, Hugo Gonçalo Oliveira, Ricardo Rodrigues, and Rui Encarnação

Published in: OASIcs, Volume 62, 7th Symposium on Languages, Applications and Technologies (SLATE 2018)

Abstract
Semantic Textual Similarity (STS) aims at computing the proximity of meaning transmitted by two sentences. In 2016, the ASSIN shared task targeted STS in Portuguese and released training and test collections. This paper describes the development of ASAPP, a system that participated in ASSIN, but has been improved since then, and now achieves the best results in this task. ASAPP learns a STS function from a broad range of lexical, syntactic, semantic and distributional features. This paper describes the features used in the current version of ASAPP, and how they are exploited in a regression algorithm to achieve the best published results for ASSIN to date, in both European and Brazilian Portuguese.
Cite as

Ana Alves, Hugo Gonçalo Oliveira, Ricardo Rodrigues, and Rui Encarnação. ASAPP 2.0: Advancing the state-of-the-art of semantic textual similarity for Portuguese. In 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Open Access Series in Informatics (OASIcs), Volume 62, pp. 12:1-12:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{alves_et_al:OASIcs.SLATE.2018.12,
  author =	{Alves, Ana and Gon\c{c}alo Oliveira, Hugo and Rodrigues, Ricardo and Encarna\c{c}\~{a}o, Rui},
  title =	{{ASAPP 2.0: Advancing the state-of-the-art of semantic textual similarity for Portuguese}},
  booktitle =	{7th Symposium on Languages, Applications and Technologies (SLATE 2018)},
  pages =	{12:1--12:17},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-072-9},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{62},
  editor =	{Henriques, Pedro Rangel and Leal, Jos\'{e} Paulo and Leit\~{a}o, Ant\'{o}nio Menezes and Guinovart, Xavier G\'{o}mez},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2018.12},
  URN =		{urn:nbn:de:0030-drops-92709},
  doi =		{10.4230/OASIcs.SLATE.2018.12},
  annote =	{Keywords: natural language processing, semantic textual similarity, semantic relations, word embeddings, character n-grams, supervised machine learning}
}
Document
DOI: 10.4230/LIPIcs.CPM.2018.2
Order-Preserving Pattern Matching Indeterminate Strings

Authors: Rui Henriques, Alexandre P. Francisco, Luís M. S. Russo, and Hideo Bannai

Published in: LIPIcs, Volume 105, 29th Annual Symposium on Combinatorial Pattern Matching (CPM 2018)

Abstract
Given an indeterminate string pattern p and an indeterminate string text t, the problem of order-preserving pattern matching with character uncertainties (muOPPM) is to find all substrings of t that satisfy one of the possible orderings defined by p. When the text and pattern are determinate strings, we are in the presence of the well-studied exact order-preserving pattern matching (OPPM) problem with diverse applications on time series analysis. Despite its relevance, the exact OPPM problem suffers from two major drawbacks: 1) the inability to deal with indetermination in the text, thus preventing the analysis of noisy time series; and 2) the inability to deal with indetermination in the pattern, thus imposing the strict satisfaction of the orders among all pattern positions. In this paper, we provide the first polynomial algorithms to answer the muOPPM problem when: 1) indetermination is observed on the pattern or text; and 2) indetermination is observed on both the pattern and the text and given by uncertainties between pairs of characters. First, given two strings with the same length m and O(r) uncertain characters per string position, we show that the muOPPM problem can be solved in O(mr lg r) time when one string is indeterminate and r in N^+ and in O(m^2) time when both strings are indeterminate and r=2. Second, given an indeterminate text string of length n, we show that muOPPM can be efficiently solved in polynomial time and linear space.
Cite as

Rui Henriques, Alexandre P. Francisco, Luís M. S. Russo, and Hideo Bannai. Order-Preserving Pattern Matching Indeterminate Strings. In 29th Annual Symposium on Combinatorial Pattern Matching (CPM 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 105, pp. 2:1-2:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{henriques_et_al:LIPIcs.CPM.2018.2,
  author =	{Henriques, Rui and Francisco, Alexandre P. and Russo, Lu{\'\i}s M. S. and Bannai, Hideo},
  title =	{{Order-Preserving Pattern Matching Indeterminate Strings}},
  booktitle =	{29th Annual Symposium on Combinatorial Pattern Matching (CPM 2018)},
  pages =	{2:1--2:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-074-3},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{105},
  editor =	{Navarro, Gonzalo and Sankoff, David and Zhu, Binhai},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CPM.2018.2},
  URN =		{urn:nbn:de:0030-drops-87087},
  doi =		{10.4230/LIPIcs.CPM.2018.2},
  annote =	{Keywords: Order-preserving pattern matching, Indeterminate string analysis, Generic pattern matching, Satisfiability}
}
Document
DOI: 10.4230/LIPIcs.ITCS.2017.48
Overlapping Qubits

Authors: Rui Chao, Ben W. Reichardt, Chris Sutherland, and Thomas Vidick

Published in: LIPIcs, Volume 67, 8th Innovations in Theoretical Computer Science Conference (ITCS 2017)

Abstract
An ideal system of n qubits has 2^n dimensions. This exponential grants power, but also hinders characterizing the system's state and dynamics. We study a new problem: the qubits in a physical system might not be independent. They can "overlap," in the sense that an operation on one qubit slightly affects the others. We show that allowing for slight overlaps, n qubits can fit in just polynomially many dimensions. (Defined in a natural way, all pairwise overlaps can be <= epsilon in n^{O(1/epsilon^2)} dimensions.) Thus, even before considering issues like noise, a real system of n qubits might inherently lack any potential for exponential power. On the other hand, we also provide an efficient test to certify exponential dimensionality. Unfortunately, the test is sensitive to noise. It is important to devise more robust tests on the arrangements of qubits in quantum devices.
Cite as

Rui Chao, Ben W. Reichardt, Chris Sutherland, and Thomas Vidick. Overlapping Qubits. In 8th Innovations in Theoretical Computer Science Conference (ITCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 67, pp. 48:1-48:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{chao_et_al:LIPIcs.ITCS.2017.48,
  author =	{Chao, Rui and Reichardt, Ben W. and Sutherland, Chris and Vidick, Thomas},
  title =	{{Overlapping Qubits}},
  booktitle =	{8th Innovations in Theoretical Computer Science Conference (ITCS 2017)},
  pages =	{48:1--48:21},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-029-3},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{67},
  editor =	{Papadimitriou, Christos H.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2017.48},
  URN =		{urn:nbn:de:0030-drops-81826},
  doi =		{10.4230/LIPIcs.ITCS.2017.48},
  annote =	{Keywords: Quantum computing, Qubits, Dimension test}
}
Document
DOI: 10.4230/OASIcs.SLATE.2017.21
Adapting Speech Recognition in Augmented Reality for Mobile Devices in Outdoor Environments

Authors: Rui Pascoal, Ricardo Ribeiro, Fernando Batista, and Ana de Almeida

Published in: OASIcs, Volume 56, 6th Symposium on Languages, Applications and Technologies (SLATE 2017)

Abstract
This paper describes the process of integrating automatic speech recognition (ASR) into a mobile application and explores the benefits and challenges of integrating speech with augmented reality (AR) in outdoor environments. The augmented reality allows end-users to interact with the information displayed and perform tasks, while increasing the user’s perception about the real world by adding virtual information to it. Speech is the most natural way of communication: it allows hands-free interaction and may allow end-users to quickly and easily access a range of features available. Speech recognition technology is often available in most of the current mobile devices, but it often uses Internet to receive the corresponding transcript from remote servers, e.g., Google speech recognition. However, in some outdoor environments, Internet is not always available or may be offered at poor quality. We integrated an off-line automatic speech recognition module into an AR application for outdoor usage that does not require Internet. Currently, speech interaction is used within the application to access five different features, namely: to take a photo, shoot a film, communicate, messaging related tasks, and to request information, either geographic, biometric, or climatic. The application makes available solutions to manage and interact with the mobile device, offering good usability. We have compared the online and off-line speech recognition systems in order to assess their adequacy to the tasks. Both systems were tested under different conditions, commonly found in outdoor environments, such as: Internet access quality, presence of noise, and distractions.
Cite as

Rui Pascoal, Ricardo Ribeiro, Fernando Batista, and Ana de Almeida. Adapting Speech Recognition in Augmented Reality for Mobile Devices in Outdoor Environments. In 6th Symposium on Languages, Applications and Technologies (SLATE 2017). Open Access Series in Informatics (OASIcs), Volume 56, pp. 21:1-21:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{pascoal_et_al:OASIcs.SLATE.2017.21,
  author =	{Pascoal, Rui and Ribeiro, Ricardo and Batista, Fernando and de Almeida, Ana},
  title =	{{Adapting Speech Recognition in Augmented Reality for Mobile Devices in Outdoor Environments}},
  booktitle =	{6th Symposium on Languages, Applications and Technologies (SLATE 2017)},
  pages =	{21:1--21:14},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-056-9},
  ISSN =	{2190-6807},
  year =	{2017},
  volume =	{56},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Leal, Jos\'{e} Paulo and Varanda, Maria Jo\~{a}o},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2017.21},
  URN =		{urn:nbn:de:0030-drops-79541},
  doi =		{10.4230/OASIcs.SLATE.2017.21},
  annote =	{Keywords: Speech Recognition, Natural Language Processing, Sphinx for Mobile Devices, Augmented Reality, Outdoor Environments}
}
Document
DOI: 10.4230/OASIcs.SLATE.2014.77
A Workflow Description Language to Orchestrate Multi-Lingual Resources

Authors: Rui Brito and José João Almeida

Published in: OASIcs, Volume 38, 3rd Symposium on Languages, Applications and Technologies (2014)

Abstract
Texts aligned alongside their translation, or Parallel Corpora, are a very widely used resource in Computational Linguistics. Processing these resources, however, is a very intensive, time consuming task, which makes it a suitable case study for High Performance Computing (HPC). HPC underwent several recent changes, with the evolution of Heterogeneous Platforms, where multiple devices with different architectures are able to share workload to increase performance. Several frameworks/toolkits have been under development, in various fields, to aid the programmer in extracting more performance from these platforms. Either by dynamically scheduling the workload across the available resources or by exploring the opportunities for parallelism. However, there is no toolkit targeted at Computational Linguistics, more specifically, Parallel Corpora processing. Parallel Corpora processing can be a very time consuming task, and the field could definitely use a toolkit which aids the programmer in achieving not only better performance, but also a convenient and expressive way of specifying tasks and their dependencies.
Cite as

Rui Brito and José João Almeida. A Workflow Description Language to Orchestrate Multi-Lingual Resources. In 3rd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 38, pp. 77-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@InProceedings{brito_et_al:OASIcs.SLATE.2014.77,
  author =	{Brito, Rui and Almeida, Jos\'{e} Jo\~{a}o},
  title =	{{A Workflow Description Language to Orchestrate Multi-Lingual Resources}},
  booktitle =	{3rd Symposium on Languages, Applications and Technologies},
  pages =	{77--83},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-68-2},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{38},
  editor =	{Pereira, Maria Jo\~{a}o Varanda and Leal, Jos\'{e} Paulo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2014.77},
  URN =		{urn:nbn:de:0030-drops-45609},
  doi =		{10.4230/OASIcs.SLATE.2014.77},
  annote =	{Keywords: workflow, orchestration, parallelism, domain specific languages, corpora}
}
  • Refine by Author
  • 4 Almeida, José João
  • 2 Araújo, Cristiana
  • 2 Henriques, Pedro Rangel
  • 2 Mendes, Rui C.
  • 1 Alves, Ana
  • Show More...

  • Refine by Classification
  • 2 Software and its engineering → Domain specific languages
  • 1 Applied computing → Computer-assisted instruction
  • 1 Applied computing → Computer-managed instruction
  • 1 Computing methodologies → Logic programming and answer set programming
  • 1 Computing methodologies → Natural language processing
  • Show More...

  • Refine by Keyword
  • 2 Programming
  • 1 Augmented Reality
  • 1 Automatic Program Assessment
  • 1 Batch Generation
  • 1 CodeRunner
  • Show More...

  • Refine by Type
  • 13 document

  • Refine by Publication Year
  • 4 2021
  • 3 2018
  • 2 2017
  • 2 2020
  • 1 2014
  • Show More...

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact