Browsing Computer Science by Title
Now showing items 466-485 of 549
-
A sparse matrix‐vector multiplication method with low preprocessing cost
(Wiley, 2018-11-10)Sparse matrix-vector multiplication (SpMV) is a crucial operation used for solving many engineering and scientific problems. In general, there is no single SpMV method that gives high performance for all sparse matrices. ... -
Spectrum-based fault localization for diagnosing concurrency faults
(Springer Science+Business Media, 2013)Concurrency faults are activated by specific thread interleavings at runtime. Traditional fault localization techniques and static analysis fall short to diagnose these faults efficiently. Existing dynamic fault-localization ... -
Spending "quality"' time with the web video
(IEEE, 2016)For consumers, watching video over the Web is the most popular way to access free and premium content on connected devices. The underlying technology -- HTTP adaptive streaming -- is straightforward; however, due to quality ... -
Spoofing attacks to i-vector based voice verification systems using statistical speech synthesis with additive noise and countermeasure
(IEEE, 2016)Even though improvements in the speaker verification (SV) technology with i-vectors increased their real-life deployment, their vulnerability to spoofing attacks is a major concern. Here, we investigated the effectiveness ... -
Spoofing voice verification systems with statistical speech synthesis using limited adaptation data
(Elsevier, 2017-03)State-of-the-art speaker verification systems are vulnerable to spoofing attacks using speech synthesis. To solve the issue, high-performance synthetic speech detectors (SSDs) for attack methods have been proposed recently. ... -
Stage: stereotypical trust assessment through graph extraction
(Wiley, 2016-02)Bootstrapping trust assessment where there is little or no evidence regarding a subject is a significant challenge for existing trust and reputation systems. When direct or indirect evidence is absent, existing approaches ... -
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 ...
Share this page
