959 search results - page 4 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
HCSE
2010
13 years 6 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...
MTSR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper describes a proposed formalization of the notion of Applications Profiles as used in the Dublin Core community. The formalization, called Description Set Profi...
ECAL
2001
Springer
14 years 13 days ago
2001
Springer
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract Descriptions into Executable Web Services: Towards a Formal Development Antonella Chirichiello1 and Gwen Sala¨un2 1 DIS - Universit`a di Roma “La Sapienza”, Italy
EWCBR
1998
Springer
14 years 5 days ago
1998
Springer
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...