Browsing by Subject "Computation theory"
Now showing items 21-40 of 60
-
Article
An embedded saliency map estimator scheme: Application to video encoding
(2007)In this paper we propose a novel saliency-based computational model for visual attention. This model processes both top-down (goal directed) and bottom-up information. Processing in the top-down channel creates the so ...
-
Article
Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
(2002)The traditional approach to fault-tolerant computation has been via modular hardware redundancy. Although universal and simple, modular redundancy is inherently expensive and inefficient. By exploiting particular structural ...
-
Article
Filter-based approach for ornamentation detection and recognition in singing folk music
(2015)Ornamentations in music play a significant role for the emotion whi1ch a performer or a composer aims to create. The automated identification of ornamentations enhances the understanding of music, which can be used as a ...
-
Conference Object
A Fuzzy Cognitive Map system to explore certain scenarios on the Cyprus banking system
(INSTICC Press, 2014)The model of Fuzzy Cognitive Maps (FCMs) allows a user to investigate how the influencing parameters of a cause-effect system behave under the implementation of desired scenario. Human knowledge and experience is used to ...
-
Article
Graph theoretical structures in logic programs and default theories
(1996)In this paper we present a graph representation of logic programs and default theories. We show that many of the semantics proposed for logic programs with negation can be expressed in terms of notions emerging from graph ...
-
Article
Grid benchmarking: Vision, challenges, and current status
(2007)Grid benchmarking is an important and challenging topic of Grid computing research. In this paper, we present an overview of the key challenges that need to be addressed for the integration of benchmarking practices, ...
-
Article
Ideal physical element representation from reduced bond graphs
(2002)Previous research has demonstrated that bond graphs are a natural and convenient representation to implement energy-based metrics that evaluate the relative 'value' of energy elements in a dynamic system model. Bond graphs ...
-
Conference Object
Implementing a software cache for genetic programming algorithms for reducing execution time
(INSTICC Press, 2014)A cache holding reusable computations that are carried out during the execution of a genetic algorithm is implemented and maintained in order to improve the performance of the genetic algorithm itself. The main idea is ...
-
Conference Object
Implementing interaction nets in MONSTR
(Association for Computing Machinery, 1997)Two superficially similar graph rewriting formalisms, Interaction Nets and MONSTR, are studied. Interaction Nets come from multiplicative Linear Logic and feature undirected graph edges, while MONSTR arose from the desire ...
-
Article
Influence of water model and nanotube rigidity on the density of water in carbon nanotubes
(2008)The density of water calculated through molecular dynamic simulations using different water models and rigid/flexible carbon nanotubes is studied. A previous equation, determined in an earlier work in order to correlate ...
-
Article
The KGP model of agency
(2004)This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture with a highly modular structure that synthesises ...
-
Article
Knowledge qualification through argumentation
(2009)We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: default property classification in static domains, and default property persistence in temporal domains. Emphasis ...
-
Conference Object
Mean-field semantics for a process calculus for spatially-explicit ecological models
(Open Publishing Association, 2016)We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a ...
-
Conference Object
Mechanics Science-Enabled Nanoheater Multi-Layer Materials Manufactured by Ball Milling
(Materials Research Society, 2017)This article reports investigation of the effects of high-rate stochastic micro-mechanics on the produced particulate size distribution during ball milling of reactive bimetallic foils (nanoheaters), by experimental and ...
-
Conference Object
Modeling program predictability
(IEEE Comp Soc, 1998)Basic properties of program predictability - for both values and control - are defined and studied. We take the view that program predictability originates at certain points during a program's execution, flows through ...
-
Conference Object
Multi-round Master-Worker Computing: A Repeated Game Approach
(IEEE Computer Society, 2016)We consider a computing system where a master processor assigns tasks for execution to worker processors through the Internet. We model the workers' decision of whether to comply (compute the task) or not (return a bogus ...
-
Article
Nash equilibria in discrete routing games with convex latency functions
(2004)We study Nash equilibria in a discrete routing game that combines features of the two most famous models for non-cooperative routing, the KP model [16] and the Wardrop model [27]. In our model, users share parallel links. ...
-
Article
Network game with attacker and protector entities
(2005)Consider an information network with harmful procedures called attackers (e.g., viruses)
-
Conference Object
Network uncertainty in selfish routing
(2006)We study the problem of selfish routing in the presence of incomplete network information. Our model consists of a number of users who wish to route their traffic on a network of m parallel links with the objective of ...
-
Article
A new model for selfish routing
(2008)In this work, we introduce and study a new, potentially rich model for selfish routing over non-cooperative networks, as an interesting hybridization of the two prevailing such models, namely the KPmodel [E. Koutsoupias, ...