Browsing Computer Science by Title
Now showing items 472-491 of 549
-
Staged development of robot skills: behavior formation, affordance learning and imitation
(IEEE, 2015-06)Inspired by infant development, we propose a three staged developmental framework for an anthropomorphic robot manipulator. In the first stage, the robot is initialized with a basic reach-and- enclose-on-contact movement ... -
Static analysis of multi-staged programs via unstaging translation
(ACM, 2011)Static analysis of multi-staged programs is challenging because thebasic assumption of conventional static analysis no longer holds: the program text itself is no longer a fixed static entity, but rather a dynamically ... -
Statik ve dinamik analizler ile hesaplanan risklere dayalı olarak test modellerinin iyileştirilmesi
(CEUR, 2015)Model bazlı test teknikleri, sistem kullanım modelinden test senaryolarının otomatik olarak oluşturulmasını sağlayarak verimliliği artırmaktadır. Prensip olarak sonsuz sayıda test senaryosu oluşturmak mümkündür; ancak bu ... -
Strategies for truth discovery under resource constraints
(ACM, 2015)We present a decision-theoretic approach for sampling information sources in resource-constrained environments, where there is uncertainty regarding source trustworthiness. We exploit diversity among sources to stratify ... -
Stream analytics and adaptive windows for operational mode identification of time-varying industrial systems
(IEEE, 2018-09-07)It is necessary to develop accurate, yet simple and efficient models that can be used with high-speed industrial data streams. In this paper, we develop a mode identification technique using stream analytics and show that ... -
Streaming multicast video over software-defined networks
(IEEE, 2014)Many of the video streaming applications in today's Internet involve the distribution of content from a CDN source to a large population of interested clients. However, widespread support of IP multicast is unavailable due ... -
Studying green video distribution as a whole
(ACM, 2023-06-09)This paper highlights the current trends and the necessary research directions for achieving carbon-effective streaming services. Collaboration between the end-to-end delivery pipeline vendors is encouraged to design ... -
Subjective bayesian networks and human-in-the-loop situational understanding
(Springer, 2018-03-21)In this paper we present a methodology to exploit human-machine coalitions for situational understanding. Situational understanding refers to the ability to relate relevant information and form logical conclusions, as well ... -
Successive refinement of models for model-based testing to increase system test effectiveness
(IEEE, 2016)Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step ... -
Summary of an effective formulation of the multi-criteria test suite minimization problem
(IEEE, 2022)This is an extended abstract of the article: Okan Orsan Ozener and Hasan Sozer, 'An Effective Formulation of the Multi-Criteria Test Suite Minimization Problem', published in the Journal of Systems and Software, Vol. 168, ... -
Supervising topic models with Gaussian processes
(Elsevier, 2018-05)Topic modeling is a powerful approach for modeling data represented as high-dimensional histograms. While the high dimensionality of such input data is extremely beneficial in unsupervised applications including language ... -
A survey of decision support mechanisms for negotiation
(Springer, 2023)This paper introduces a dependency analysis and a categorization of conceptualized and existing economic decision support mechanisms for negotiation. The focus of our survey is on economic decision support mechanisms, ... -
A survey of software testing in the cloud
(IEEE, 2012)Cloud computing has emerged as a new computing paradigm that impacts several different research fields, including software testing. Testing cloud applications has its own peculiarities that demand for novel testing methods ... -
A survey on bitrate adaptation schemes for streaming media over HTTP
(IEEE, 2019)In this survey, we present state-of-the-art bitrate adaptation algorithms for HTTP adaptive streaming (HAS). As a key distinction from other streaming approaches, the bitrate adaptation algorithms in HAS are chiefly executed ... -
SUTSEC: SDN Utilized trust based secure clustering in IoT
(Elsevier, 2020-09-04)Internet of Things (IoT) technology consists of huge number of heterogeneous devices that create enormous amount of data. Providing a robust communication for billions of devices is one of the most significant challenges ... -
Swin transformer based siamese network for thermal and optical image registration
(IEEE, 2023)The process of multi-modal image registration is fundamental in remote sensing and visual navigation applications. However, existing image registration methods that are designed for single modality images do not provide ... -
Symbol emergence in cognitive developmental systems: A survey
(IEEE, 2019-12)Humans use signs, e.g., sentences in a spoken language, for communication and thought. Hence, symbol systems like language are crucial for our communication with other agents and adaptation to our real-world environment. ... -
Symbolic knowledge extraction for explainable nutritional recommenders
(Elsevier, 2023-06)Background and objective: This paper focuses on nutritional recommendation systems (RS), i.e. AI-powered automatic systems providing users with suggestions about what to eat to pursue their weight/body shape goals. A ... -
Synergistic human-robot shared control via human goal estimation
(IEEE, 2016)In this paper, we propose and implement a synergistic human-robot collaboration framework, where the robotic system estimates the intent or goal of the human operator while being controlled by the human in real-time. Having ... -
Synthesis of clock trees for sampled-data analog IC blocks
(IEEE, 2013)This paper describes a methodology for automated design of clock trees in Sampled-Data Analog Circuits (SDACs). The current practice in the industry and academia for clock tree design of SDACs is a manual process, which ...
Share this page
