Browsing Computer Science by Author "1"
Now showing items 21-40 of 232
-
Automated refinement of models for model-based testing using exploratory testing
Şahin Gebizli, Ceren; Sözer, Hasan (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, ... -
Autotuning runtime specialization for sparse matrix-vector multiplication
Yılmaz, Buse; Aktemur, Tankut Barış; Garzaran, M. J.; Kamin, S.; Kıraç, Mustafa Furkan (ACM, 2016-04)Runtime specialization is used for optimizing programs based on partial information available only at runtime. In this paper we apply autotuning on runtime specialization of Sparse Matrix-Vector Multiplication to predict ... -
Availability analysis of software architecture decomposition alternatives for local recovery
Sözer, Hasan; Stoelinga, M.; Boudali, H.; Aksit, M. (2017)We present an efficient and easy-to-use methodology to predict—at design time—the availability of systems that support local recovery. Our analysis techniques work at the architectural level, where the software designer ... -
A big data processing framework for self-healing internet of things applications
Dundar, B.; Astekin, Merve; Aktas, M. S. (IEEE, 2016)In this study, we introduce a big data processing framework that provides self-healing capability in the Internet of Things domain. We discuss the high-level architecture of this framework and its prototype implementation. ... -
Bottom-up approaches to achieve Pareto optimal agreements in group decision making
Sanchez-Anguix, V.; Aydoğan, Reyhan; Baarslag, T.; Jonker, C. (Springer Nature, 2019-11)In this article, we introduce a new paradigm to achieve Pareto optimality in group decision-making processes: bottom-up approaches to Pareto optimality. It is based on the idea that, while resolving a conflict in a group, ... -
The challenge of negotiation in the game of diplomacy
de Jonge, D.; Baarslag, T.; Aydoğan, Reyhan; Jonker, C.; Fujita, K.; Ito, T. (Springer Nature, 2019)The game of Diplomacy has been used as a test case for complex automated negotiations for a long time, but to date very few successful negotiation algorithms have been implemented for this game. We have therefore decided ... -
Cognition-enabled robot manipulation in human environments: requirements, recent work, and open problems
Ersen, M.; Öztop, Erhan; Sariel, S. (IEEE, 2017-09)Service robots are expected to play an important role in our daily lives as our companions in home and work environments in the near future. An important requirement for fulfilling this expectation is to equip robots with ... -
Collective voice of experts in multilateral negotiation
Güneş, Taha Doğan; Arditi, Emir; Aydoğan, Reyhan (Springer International Publishing, 2017)Inspired from the ideas such as “algorithm portfolio”, “mixture of experts”, and “genetic algorithm”, this paper presents two novel negotiation strategies, which combine multiple negotiation experts to decide what to bid ... -
Combining haar feature and skin color based classifiers for face detection
Eroğlu Erdem, Ç.; Ulukaya, S.; Karaali, A.; Erdem, Tanju (IEEE, 2011)This paper presents a hybrid method for face detection in color images. The well known Haar feature-based face detector developed by Viola and Jones (VJ), that has been designed for gray-scale images is combined with a ... -
Combining model-based and risk-based testing for effective test case generation
Şahin Gebizli, C.; Metin, D.; Sözer, Hasan (IEEE, 2015)Model-based testing employs models of the system under test to automatically generate test cases. In this paper, we propose an iterative approach, in which these models are refined based on the principles of risk-based ... -
A complex adaptive system of systems approach to human–automation interaction in smart grid
Fereidunian, A.; Lesani, H.; Zamani, Mohammad Ali; Kolarijani, M. A. S.; Hassanpour, N.; Mansouri, S. S. (Wiley, 2015)This chapter expresses three cognitive genres: descriptive genre, normative/prescriptive genre, and know-how genre. The descriptive genre introduces and discusses on the following disciplines: the core concepts of complexity, ... -
Composing domain-specific physical models with general-purpose software modules in embedded control software
Roo, A. de; Sözer, Hasan; Akşit, M. (Springer Science+Business Media, 2014-02)A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part ... -
Conflict resolution in decision making - Second international workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers
Aydoğan, Reyhan (Springer International Publishing, 2017) -
Constrained min-cut replication for k-way hypergraph partitioning
Yazıcı, Volkan; Aykanat, C. (Informs, 2014)Replication is a widely-used technique in information retrieval and database systems for providing fault tolerance and reducing parallelization and processing costs. Combinatorial models based on hypergraph partitioning ... -
Consumer communications and the next generation broadcast networks
Beğen, Ali Cengiz; Kolberg, M.; Merabti, M. (IEEE, 2016)Over 20 years ago the challenge for the communications community was the convergence between networking, telecommunication, and broadcasting. This challenge has been fairly well met, and we now note that around the world ... -
Cooperation and trust in the presence of bias
Şensoy, Murat (2014)Stereotypes may influence the attitudes that individuals have towards others. Stereotypes, therefore, represent biases toward and against others. In this paper, we formalise stereotypical bias within trust evaluations. ... -
Cooperative multi-task assignment for heterogonous UAVs
Özalp, N.; Ayan, U.; Öztop, Erhan (IEEE, 2015)This research is focused on the cooperative multi-task assignment problem for heterogeneous UAVs, where a set of multiple tasks, each requiring a predetermined number of UAVs, have to be completed at specific locations. ... -
Cost-benefit approach to degradation of electrolytic capacitors
Kirişken, B.; Uğurdağ, Hasan Fatih (IEEE, 2014)Aluminum electrolytic capacitors are widely used as a filter or bulky capacitor after rectification stages of switching power supplies (SMPS). Fly-back, forward, and resonant converter topologies, which are widely used in ...
Share this page