Sciweavers

3718 search results - page 162 / 744
» IMPS: System Description
Sort
View
ENTCS
2008
84views more  ENTCS 2008»
15 years 4 months ago
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
Bart Jacobs
ECEASST
2006
72views more  ECEASST 2006»
15 years 4 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...
KES
2006
Springer
15 years 4 months ago
Mathematical Formulation of a Type of Hierarchical Neurofuzzy System
Abstract. This paper presents a class of hierarchical fuzzy system applied to a cigar classification system. The weight, texture and chromatic characteristics are used to classify ...
Omar Sánchez, Sixto Romero, Francisco J. Mo...
ISCI
2007
116views more  ISCI 2007»
15 years 4 months ago
Advances in type-2 fuzzy sets and systems
In this state-of-the-art paper, important advances that have been made during the past five years for both general and interval type-2 fuzzy sets and systems are described. Inter...
Jerry M. Mendel
ARGMAS
2009
Springer
15 years 11 months ago
Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
Matthias Thimm