Browsing Computer Science by Title
Now showing items 172-191 of 360
-
Increasing test efficiency by risk-driven model-based testing
(Elsevier, 2018-10)We introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models comprise ... -
Incremental analysis of large-scale system logs for anomaly detection
(IEEE, 2019)Anomalies during system execution can be detected by automated analysis of logs generated by the system. However, large scale systems can generate tens of millions of lines of logs within days. Centralized implementations ... -
Inference management, trust and obfuscation principles for quality of information in emerging pervasive environments
(Elsevier, 2014-04)The emergence of large scale, distributed, sensor-enabled, machine-to-machine pervasive applications necessitates engaging with providers of information on demand to collect the information, of varying quality levels, to ... -
Inferring human values for safe AGI design
(Springer International Publishing, 2015)Aligning goals of superintelligent machines with human values is one of the ways to pursue safety in AGI systems. To achieve this, it is first necessary to learn what human values are. However, human values are incredibly ... -
Integrated static code analysis and runtime verification
(Wiley, 2015-10)Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, these tools usually generate a very large number of alerts, some of which are subject to false ... -
Interest-based negotiation for policy-regulated asset sharing
(Springer Nature, 2016)Resources sharing is an important but complex problem to be solved. The problem is exacerbated in a coalition context due to policy constraints, that reflect concerns regarding security, privacy and performance to name a ... -
Interpretability of deep learning models: a survey of results
(IEEE, 2018-06-26)Deep neural networks have achieved near-human accuracy levels in various types of classification and prediction tasks including images, text, speech, and video data. However, the networks continue to be treated mostly as ... -
INTERSPEECH 2009 duygu tanıma yarışması değerlendirmesi
(IEEE, 2010)Bu makalede INTERSPEECH 2009 Duygu Tanıma Yarışması sonuçlarını değerlendiriyoruz. Yarışmanın sunduğu problem doğal ve duygu bakımından zengin FAU Aibo konuşma kayıtlarının beş ve iki duygu sınıfına en doğru şekilde ... -
Introduction of a spatio-temporal mapping based POE method for outdoor spaces: Suburban university campus as a case study
(Elsevier, 2018-11)Outdoor spaces are important to sustainable cities because they establish a common identity for social life by improving quality of urban living. The relation between outdoor spaces and building groups, competency, use ... -
An introduction to the pocket negotiator: a general purpose negotiation support system
(Springer International Publishing, 2017)The Pocket Negotiator (PN) is a negotiation support system developed at TU Delft as a tool for supporting people in bilateral negotiations over multi-issue negotiation problems in arbitrary domains. Users are supported in ... -
A journey towards fully immersive media access
(2019)Universal media access (UMA) as proposed almost two decades ago is now reality. We can generate, distribute, share, and consume any media content, anywhere, anytime, and with/on any device. A technical breakthrough was the ... -
A knowledge driven policy framework for internet of things
(ScitePress, 2017)With the proliferation of technology, connected and interconnected devices (henceforth referred to as IoT) are fast becoming a viable option to automate the day-to-day interactions of users with their environment—be it ... -
Kombi̇natoryal test tekni̇kleri̇ni̇n karmaşık olay i̇şleme motorlarında uygulanması
(IEEE, 2012)Testing practice has a critical place during the design, implementation and integration of software, hardware and complex systems composed of these. Cost of failures caused by bugs that could not be detected and fixed early ... -
Konuşmacı aradeğerlemeli SMM tabanlı metinden konuşma sentezleme si̇stemi
(IEEE, 2011)Hidden Markov Model (HMM) based text-to-speech (TTS) systems offer many advantages compared to the concatenative approach. One of those advantages is the ability to interpolate between different speakers to generate new ... -
Language inference with multi-head automata through reinforcement learning
(IEEE, 2020)The purpose of this paper is to use reinforcement learning to model learning agents which can recognize formal languages. Agents are modeled as simple multi-head automaton, a new model of finite automaton that uses multiple ... -
Learning and reasoning in complex coalition information environments: a critical analysis
(IEEE, 2018-09-05)In this paper we provide a critical analysis with metrics that will inform guidelines for designing distributed systems for Collective Situational Understanding (CSU). CSU requires both collective insight - i.e., accurate ... -
Learning to grasp with parental scaffolding
(IEEE, 2011)Parental scaffolding is an important mechanism utilized by infants during their development. Infants, for example, pay stronger attention to the features of objects highlighted by parents and learn the way of manipulating ... -
LIG at MediaEval 2015 multimodal person discovery in broadcast TV task
(CEUR-WS, 2015)In this working notes paper the contribution of the LIG team (partnership between Univ. Grenoble Alpes and Ozyegin University) to the Multimodal Person Discovery in Broadcast TV task in MediaEval 2015 is presented. The ... -
The likeability-success tradeoff: results of the 2nd annual human-agent automated negotiating agents competition
(IEEE, 2019)We present the results of the 2nd Annual Human-Agent League of the Automated Negotiating Agent Competition. Building on the success of the previous year's results, a new challenge was issued that focused exploring the ... -
Load and stress testing for SDN’s northbound API
(Springer Nature, 2020-01)In this work, we apply load and stress testing for well-known Software defined networking (SDN) controllers from an SDN application perspective. More precisely, we focus on the communication between the controller and SDN ...
Share this page
