Computer Science: Recent submissions
Now showing items 461-480 of 549
-
A run-time verification framework for smart grid applications implemented on simulation frameworks
(IEEE, 2013)Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation ... -
Towards subtyped program generation in F#
(ACM, 2011)Program Generation is the technique of combining code fragments to construct a program. In this work we report on our progress to extend F# with program generation constructs. Our prototype implementation uses a translation ... -
Seyrek matris-vektör çarpımı için koşut zamanda özelleşmi̇ş kod üreti̇mi̇ ve deneysel opti̇mi̇zasyon
(IEEE, 2012)Bu çalışmada seyrek matris-vektor çarpımı için matris içeriğine göre özelleşmiş, yüksek hızlı program üretimi yapan bir kütüphane tasarımı anlatılmaktadır. Kütüphane sinyal işleme uygulamaları, bilimsel hesaplamalar, sonlu ... -
Shonan challenge for generative programming: short position paper
(ACM, 2013)The appeal of generative programming is "abstraction without guilt": eliminating the vexing trade-off between writing high-level code and highly-performant code. Generative programming also promises to formally capture the ... -
Optimization by runtime specialization for sparse matrix-vector multiplication
(ACM, 2014)Runtime specialization optimizes programs based on partial information available only at run time. It is applicable when some input data is used repeatedly while other input data varies. This technique has the potential ... -
Reputation mechanism for e-commerce in virtual reality environments
(Elsevier, 2014)The interest in 3D technology and virtual reality (VR) is growing both from academia and industry, promoting the quick development of virtual marketplaces (VMs) (i.e. e-commerce systems in VR environments). VMs have inherited ... -
FAS: introducing a service for avoiding faults in composite services
(Springer Science+Business Media, 2012)In service-oriented architectures, composite services depend on a set of partner services to perform the required tasks. These partner services may become unavailable due to system and/or network faults, leading to an ... -
TRIBE: Trust revision for information based on evidence
(IEEE, 2013)In recent years, the number of information sources available to support decision-making has increased dramatically. However, more information sources do not always mean higher precision in the fused information. This is ... -
Trust estimation and fusion of uncertain information by exploiting consistency
(IEEE, 2014)Agents may cooperate by communicating their opinions about various phenomena. These opinions are then fused by agents and used for informed decision-making. However, fusing opinions from diverse sources is not trivial - ... -
Partial observable update for subjective logic and its application for trust estimation
(Elsevier, 2015)Subjective Logic (SL) is a type of probabilistic logic, which is suitable for reasoning about situations with uncertainty and incomplete knowledge. In recent years, SL has drawn a significant amount of attention from the ... -
FUSE-BEE: Fusion of subjective opinions through behavior estimation
(IEEE, 2015)Information is critical in almost all decision making processes. Therefore, it is important to get the right information at the right time from the right sources. However, information sources may behave differently while ... -
Reasoning under uncertainty: variations of subjective logic deduction
(IEEE, 2013)This work develops alternatives to the classical subjective logic deduction operator. Given antecedent and consequent propositions, the new operators form opinions of the consequent that match the variance of the consequent ... -
Goal directed policy conflict detection and prioritisation: an empirical evaluation
(Springer Science+Business Media, 2014)We address the problem of developing effective automated reasoning support for the detection and resolution of conflicts between plans and policies (or norms). How automated reasoning mechanisms can effectively support ... -
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 ... -
TIDY: A trust-based approach to information fusion through diversity
(IEEE, 2013)Trust and reputation are significant components in open dynamic systems for making informed and reliable decisions. State-of-the-art information fusion models that exploit these mechanisms generally rely on reports from ... -
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 ... -
Cooperation and trust in the presence of bias
(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. ... -
Simultaneous human-robot adaptation for effective skill transfer
(IEEE, 2015)In this paper, we propose and implement a human-in-the loop robot skill synthesis framework that involves simultaneous adaptation of the human and the robot. In this framework, the human demonstrator learns to control the ... -
Self-discovery of motor primitives and learning grasp affordances
(IEEE, 2012)Human infants practice their initial, seemingly random arm movements for transforming them into voluntary reaching and grasping actions. With the developing perceptual abilities, infants further explore their environment ... -
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 ...
Share this page