Browsing by Title
Now showing items 333-352 of 5783
-
Attractors, repellers and fringe belts: origins and medieval transformations of Arsinoe, Ammochostos, al-Mau’dah, Famagusta, Magusa
(U+D Edition, Rome, 2019)This research poses a number of historical questions about the urban settlement of Famagusta: is it a Medieval, Crusader or a Frankish city? Is there any evidence of an earlier (pre-Lusignan) phase in the urban fabric and ... -
AUC maximization for binary classification using combinatorial benders cuts
(2019-06-11)The purpose of this study is to maximize the area under Receiver Operating Characteristic curve for binary classi cation problems using a scoring-based mixed integer linear programming formulation. We investigate exact ... -
Auction based spectrum trading for cognitive radio networks
(IEEE, 2013-06)In this letter, we consider the shared used model in cognitive radio networks and design a spectrum trading method to maximize the total satisfaction of the Secondary Users (SUs) and revenue of the Wireless Service Provider ... -
Augmenting occupant thermal experience with cyber-physical-social systems : a case study on adaptive vents
(2020-06-11)Buildings use more than 30% of global energy, while 36% of this energy comes from direct combustion of fossil fuels. Hence, buildings constitute a considerable share of CO2 emissions and has a large contribution to climate ... -
Author Correction: A portrait of the Higgs boson by the CMS experiment ten years after the discovery
(Nature Research, 2022-11-02)In the version of this article initially published, CMS Collaboration author names, affiliations and acknowledgements were omitted and have now been included in the HTML and PDF versions of the article. -
Authoring and presentation tools for distance learning over interactive TV
(ACM, 2010)We present a complete system for distance learning over interactive TV with novel tools for authoring and presentation of lectures and exams, and evaluation of student and system performance. The main technological ... -
Automated adaptive playback for encoder-adjudicated live sports
(IEEE, 2022)In low-latency live streaming, it is not easy to simultaneously avoid stalls and maintain low latency. The trade-off needs to be decided in real time. One of the best tools for controlling the buffer level (hence, the ... -
Automated classification of static code analysis alerts: a case study
(IEEE, 2013)Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, developers are usually exposed to a large number of alerts. Moreover, some of these alerts are ... -
Automated defect prioritization based on defects resolved at various project periods
(Elsevier, 2021-09)Defect prioritization is mainly a manual and error-prone task in the current state-of-the-practice. We evaluated the effectiveness of an automated approach that employs supervised machine learning. We used two alternative ... -
Automated extraction of feature models from android based portable devices
(IEEE, 2017)Domain analysis is an essential activity in software product line engineering to identify common and variable features among the products of a product family. Feature models are commonly used for depicting the identified ... -
Automated flow rate control of extrusion for 3D concrete printing incorporating rheological parameters
(Elsevier, 2024-04)The use of inline quality assessment technologies is of great importance in meeting the consistent extrusion requirements of 3D concrete printing (3DCP) applications. This paper presents a system to regulate extrusion speed ... -
Automated maintenance support for data-tier software
Data-tier software includes the data model and business logic of enterprise systems, and it is subject to long-term maintenance. Even though the user interface of these systems can be completely replaced, data-tier software ... -
Automated negotiating agents competition (ANAC)
(AAAI press, 2017)The annual International Automated Negotiating Agents Competition (ANAC) is used by the automated negotiation research community to benchmark and evaluate its work and to challenge itself. The benchmark problems and ... -
Automated objective and subjective evaluation of HTTP adaptive streaming systems
(IEEE, 2018-06-26)Streaming audio and video content currently accounts for the majority of the internet traffic and is typically deployed over the top of the existing infrastructure. We are facing the challenge of a plethora of media players ... -
Automated procedure clustering for reverse engineering PL/SQL programs
(2016-05)Large software systems have to be decomposed into separate, modular units for providing appropriate abstractions and improving maintainability. There exist clustering techniques that are applied to provide such abstractions ... -
Automated procedure clustering for reverse engineering PL/SQL programs
(ACM, 2016)PL/SQL programs are mainly composed of procedures that interact with a database. These procedures are grouped into packages at the architecture design level for increasing modularity and maintainability. However, the ... -
Automated refinement of models for model-based testing
(2017-07)Model-Based Testing (MBT) enables automatic generation of test cases based on models of a system. It has been successfully applied in various application domains, each of which might introduce specific challenges. In this ... -
Automated refinement of models for model-based testing using exploratory testing
(Springer International Publishing, 2017-09)Model-based testing relies on models of the system under test to automatically generate test cases. Consequently, the effectiveness of the generated test cases depends on models. In general, these models are created manually, ... -
Automated testing of systems of systems
(Springer, 2023)There are various kinds of software applications like mobile and Web applications. These applications have different types of user interfaces and user interaction methods. Hence, test automation tools are either dedicated ... -
Automated Web application testing driven by pre-recorded test cases
(Elsevier, 2022-11)There are fully automated approaches proposed for Web application testing. These approaches mainly rely on tools that explore an application by crawling it. The crawling process results in a state transition model, which ...
Share this page
