Cerca risorse accademiche

Materie / parole chiave: SHELDON, B; WILEY; 005.712 S544v

Materie / parole chiave: PETERSON, JAMES L; 005.136 P485c

In this book, Hansen presents a collection of structured multicomputer programs for computational science, with the unifying idea of programming paradigm. Facultad de Informática

The book Using OpenMP: Portable Shared Memory Parallel Programming, presents OpenMP more than appropriately, from the perspective of high performance computing, which traditionally has provided most (if not all) the para...

Mobile computing applications are required to operate in environments in which the availability for resources and services may change significantly during system operation. As a result, mobile computing applications need...

The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning ap...

Protein Folding is an important open problem in the eld of Computational Biology Due to its com binatorial nature exact polynomial algorithms to solve it could not exist and so approximation algorithms and heurist...

The process of teaching and learning computer programming has always been a challenge for students and teachers. Throughout time, the challenge has become tougher because now the concepts related to concurrent programmin...

In this work two declarative approaches based on the BDI theory are studied, an agent programming language 3APL and an agent architecture that uses defeasible argumentation for knowledge representation and reasoning. Bas...

Context aware intelligent agents are key components in the development of pervasive systems. In this paper, we present an extension of a BDI programming language to support ontological reasoning and ontology-based speech...

The term Animated Systems has been introduced in the bibliography in reference to interactive dynarnic worlds simulations, composed of interacting independent objects [Tra96]. Simulation is a powerful tool because it al...

In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung’s seminal work characterizi...

The Semantic Web is a future vision of the web where stored information has exact meaning, thus enabling computers to understand and reason on the basis of such information. Assigning semantics to web resources is addres...

This paper describes two experiences in teaching a formal approach to software engineering at undergraduate level supported by Camila a functional programming based tool Carried on in di erent institutions each of th...

In this work we analyze the problem of incorporating specificity to characterize defeat in a particular argumentative framework, called observation based defeasible logic programming (ODeLP) [1]. Eficiency is an importan...

Defeasible Logic Programming (DeLP) is a knowledge representation formalism that combines results from Logic Programming and Defeasible Argumentation to provide reasoning based on contradictory and potentially incomplete...

In this paper we consider the design of an agent communication model based on the FIPA Architecture and FIPA Interaction Protocols. Our goal is to allow the agents to reach each other by their characteristics and to exch...

In this paper we present an extension of logic programming including events. We will rst describe our proposal for specifying events in a logic program, and then we will present an implementation that uses an interestin...

The purpose of this paper is to describe how some theorems about constructions in categories can be seen as a way of doing generic programming. No prior knowledge of category theory is required to understand the paper. ...

The software industry has identi ed, in a vast proportion, the object-oriented programming paradigm with the variant based in classes and single inheritance. Particularly, design patterns and their best-known implementat...

The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning ap...

Ontology integration is the problem of combining data sources in the SemanticWeb. Concepts in source ontologies are captured in terms of concepts de ned in a global ontology. When some of these ontologies are inconsisten...

A solution of problems in multiagent systems involves representing beliefs of agents immersed in dynamic environments. Observation-based Defeasible Logic Programming (ODeLP) is an argument-based logic programming languag...

Cellular automata provide an abstract model of parallel com- putation that can be effectively used for modeling and simulation of com- plex phenomena and systems. The design and implementation of parallel programming lan...