HCSE
2010
13 years 9 months ago
2010
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...
FUIN
2006
13 years 11 months ago
2006
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
PUK
2003
14 years 16 days ago
2003
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...
EUSFLAT
2003
14 years 17 days ago
2003
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...
SEKE
1995
Springer
14 years 2 months ago
1995
Springer
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...
ICNP
1999
IEEE
14 years 3 months ago
1999
IEEE
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...
ICCS
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...