The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper, we present a system to recognize text in traffic signs, along with its context based recognition result corrections that we developed. This system detects text in traffic signs region using contour detection and using KNN Classifier to recognize letters in it. The result of the recognitions that may contain errors will be corrected using Forward Reverse Dictionary that has Contextual...
In the last decades we witnessed the creation of a virtual world: cyberspace, which offers plenty of opportunities and challenges. Meanwhile, we are confronted with many conflict situations between different groups of people or countries. In the last years, several events have been described in terms of cyber warfare or the use of cyber weapons, leading to critical international security concerns...
The objective of this paper is to introduce a new constraint model for testing the conformity of overriding methods during inheritance operation for an object oriented (OO) system. This model is based on formal specification techniques and can be used to generate test data in derived classes. The key idea of this conformity approach is to use an optimal constraint and a partitioning technique based...
Test prioritization is an effective technique used to reduce the amount of work required to support regression testing in continuous integration development. It aims at finding an optimal order of tests that can detect regressions faster, potentially increasing the frequency of software releases. Prioritization techniques based on test execution history use the results of preceding executions to determine...
In this paper, we address the problem of deriving test suites for checking components of interacting finite state machines with timed guards (TFSMs). Given a component TFSM, a corresponding test is derived for the composition of TFSMs under the assumption that all other components are fault-free.
Utilizing a language model in a brain-computer-interface-based (BCI-based) speller has been proven helpful in improving the performance of the system. Since it is important to evaluate the effect of the language model on the system, it is necessary to choose the words in a way that they can represent different levels of difficulty based on the language model. In this paper, we will give a brief introduction...
Acoustic scene classification (ASC) has attracted growing research interest in recent years. Whereas the previous work has investigated closed-set classification scenarios, the predominant ASC application is open-set in nature. The contributions of the paper are (i) the first investigation of ASC in an open-set scenario, (ii) the formulation of open-set ASC as a detection problem, (iii) a classifier...
Serious Games (SGs) have been widely adopted in cultural settings and museums, especially the last five years. It is expected that SG can link directly the museum content with target user groups and can fulfill their educational needs. This paper aims to present a systematic mapping study on modern museum gaming technologies and applications. More specifically, focus is given on the use of Serious...
Renewable energy sources and further electrification of energy consumption are key enablers to decrease greenhouse gas emissions, but they also introduce increased complexity to the electric power system. The increased availability of automation, information and communication technology, and intelligent solutions for system operation have transformed the power system into a smart grid. To support...
Video games may be a convenient methodology for conveying English vocabulary in context to the players, since they are story driven and can absorbs players' attention, increasing their motivation and engagement within a learning process. However, most of current vocabulary games are like digital versions of textbooks vocabulary exercises and do not meet students game preferences. This paper presents...
Learning Design approaches have provided new perspectives for the design and the implementation of learning environments. This paper focuses on the presentation and the comparison of the most used Learning Design approaches in the literature. Several Learning Design approaches are presented. This work seeks to make it easier for instructors that want to make the best choice when choosing an approach...
Between 6 and 9 months of age, infants begin to differentiate between the actions of others that are “rational” with respect to goals and those that are not. According to the teleological stance theory, this behavior is underpinned by an innate, naive rationality principle; according to a statistical learning account, experience alone is sufficient to explain this behavior. We present a recurrent...
The 6th edition of the Portuguese Software Engineering Doctoral Symposium (SEDES'2016), was held in September 16, 2016, in Lisboa, Portugal, co-located with the QUATIC'2016 conference. The aim of this symposium is to bring together Software Engineering PhD students supervised or co-supervised by faculty members of Portuguese Universities in a constructive environment, where they can present and discuss...
There is no doubt that agile methods have become mainstream and with their increased use unanswered questions start to appear: How do we address cross-cutting concerns when software is developed vertically? Does value prioritization lead to increases in technical debt by promoting feature development over refactoring? Isn’t the reticence to write initial specifications on the premise of change an...
The difficulty of creating a test suite before developing a web application is the main barrier to the adoption of the Acceptance Test Driven Development (ATDD) paradigm. In this work, we present a general lightweight approach and a specific instantiation based on existing tools for acceptance test driven development of web applications. The idea, which is the basis of our approach, is simple: using...
The rapid growth of web source has changed language learning behavior. More and more people utilized web sources instead of paper books. However, the problem now is that it is overwhelming to find useful information. In addition, when considering using different words, good example sentences demonstrating nuance among words are extremely helpful but learners can hardly find them as most web dictionaries...
The development of English skills of elementary school students is very important for their English abilities in the future and Second Life (SL) can provide the appropriate contexts which are needed for developing such skills. However, some research indicated that the lack of learning guidance and teaching aids would affect students' learning effectiveness while learning in SL. Therefore, the development...
Pluralistic ignorance (PI) is a common phenomenon, observed in many social settings. It occurs when the majority of a group become non-believer conformist, but mistakenly perceive others to be true conformist. PI takes many forms and leads to a wide variety of social problems, from binge drinking to repressive political regimes and ideologies. Although discussed extensively in the literature, the...
Buildings are responsible for a significant amount of total global energy consumption and as a result account for a substantial portion of overall carbon emissions. Moreover, buildings have a great potential for helping to meet energy efficiency targets. Hence, energy saving goals that target buildings can have a significant contribution in reducing environmental impact. Today's smart buildings achieve...
Agile software development methodologies use an iterative and incremental development in order to handle evolving systems. Consolidated techniques in the field of testing have been applied to these techniques with the main purpose of aiding in the test creation stage. An example is Model-Based Test Driven Development (MBTDD) which joins the concepts of Model-Based Testing (MBT) and Test Driven Development...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.