Sciweavers

497 search results - page 64 / 100
» Overview of QAST 2008
Sort
View
ESWS
2008
Springer
13 years 9 months ago
Semantic Annotation and Composition of Business Processes with Maestro
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...
Matthias Born, Jörg Hoffmann, Tomasz Kaczmare...
FMICS
2008
Springer
13 years 9 months ago
Fighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
Radek Pelánek
GI
2008
Springer
13 years 9 months ago
Semantically linking web pages to web services in Bioinformatics
: A key application area of semantic technologies is the fast-developing field of bioinformatics. Sealife is a project within this field with the aim of creating semanticsbased w...
Karen Sutherland, Kenneth McLeod, Albert Burger
ICA
2010
Springer
13 years 8 months ago
The 2010 Signal Separation Evaluation Campaign (SiSEC2010): Audio Source Separation
Abstract. This paper introduces the audio part of the 2010 communitybased Signal Separation Evaluation Campaign (SiSEC2010). Seven speech and music datasets were contributed, which...
Shoko Araki, Alexey Ozerov, Vikrham Gowreesunker, ...
AAMAS
2008
Springer
13 years 8 months ago
Industrial deployment of multi-agent technologies: review and selected case studies
This paper reports on industrial deployment of multi-agent systems and agent technology. It provides an overview of several application domains and an in-depth presentation of four...
Michal Pechoucek, Vladimír Marík