Sciweavers

1155 search results - page 16 / 231
» Elaborating Domain Descriptions
Sort
View
ISMIS
2005
Springer
14 years 1 months ago
Extracting Emotions from Music Data
Abstract. Music is not only a set of sounds, it evokes emotions, subjectively perceived by listeners. The growing amount of audio data available on CDs and in the Internet wakes up...
Alicja Wieczorkowska, Piotr Synak, Rory A. Lewis, ...
VSTTE
2005
Springer
14 years 1 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
ICCBR
2010
Springer
13 years 11 months ago
An Algorithm for Adapting Cases Represented in an Expressive Description Logic
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
Julien Cojan, Jean Lieber
DLOG
2009
13 years 5 months ago
OntoComP System Description
Abstract. We describe OntoComP, a Prot
Baris Sertkaya
SIGSOFT
2004
ACM
14 years 8 months ago
Merging partial behavioural models
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
Marsha Chechik, Sebastián Uchitel