Sciweavers

3745 search results - page 173 / 749
» Sonic: System Description
Sort
View
157
Voted
ENTCS
2008
84views more  ENTCS 2008»
15 years 7 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 7 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...
162
Voted
KES
2006
Springer
15 years 7 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...
139
Voted
ISCI
2007
116views more  ISCI 2007»
15 years 7 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
16 years 1 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