Search
Now showing items 81-90 of 359
Verification and analysis of domain-specific models of physical characteristics in embedded control software
(Elsevier, 2012-12)
ContextA considerable portion of the 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 ...
Defect-aware nanocrossbar logic mapping through matrix canonization using two-dimensional radix sort
(ACM, 2011-08)
Nanocrossbars (i.e., nanowire crossbars) offer extreme logic densities but come with very high defect rates; stuck-open/closed, broken nanowires. Achieving reasonable yield and utilization requires logic mapping that is ...
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 ...
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 ...
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 ...
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. ...
Reinforcement learning to adjust parametrized motor primitives to new situations
(Springer Science+Business Media, 2012-11)
Humans manage to adapt learned movements very quickly to new situations by generalizing learned behaviors from similar situations. In contrast, robots currently often need to re-learn the complete movement. In this paper, ...
E-Cube: multi-dimensional event sequence analysis using hierarchical pattern query sharing
(ACM, 2011-06-12)
Many modern applications, including online financial feeds, tag-based mass transit systems and RFID-based supply chain management systems transmit real-time data streams. There is a need for event stream processing technology ...
Share this page