Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
HCSE
2010
11 years 6 months ago
Understanding Formal Description of Pitch-Based Input
The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input w...
Ondrej Polácek, Zdenek Mikovec
FUIN
2006
106views more  FUIN 2006»
11 years 8 months ago
Architectural Principles and Scheduling Strategies for Computing Agent Systems
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
Marek Grochowski, Robert Schaefer, Maciej Smolka
PUK
2003
11 years 9 months ago
Modeling in an Architectural Variability Description Language
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
Theo Dirk Meijler, Silvie Schoenmaker, Egbert de R...
EUSFLAT
2003
122views Fuzzy Logic» more  EUSFLAT 2003»
11 years 9 months ago
Structure recognition on sequences with a neuro-fuzzy-system
We present a formal description of a neurofuzzy system capable of aligning two sequences recognizing their internal structure. The alignment is done on two levels: grouping of the...
Klaus Dalinghaus, Tillman Weyde
SEKE
1995
Springer
11 years 11 months ago
Visual Scenarios for Validation of Requirements Specification
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
V. Lalioti, Babis Theodoulidis
ICNP
1999
IEEE
12 years 16 days ago
Automated Protocol Implementations Based on Activity Threads
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
Peter Langendörfer, Hartmut König
ICCS
2001
Springer
12 years 21 days ago
Many-Valued Context Analysis Using Descriptions
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical deļ¬nition of a concept as a set of ...
Ralf Gugisch
books