Sciweavers

16666 search results - page 183 / 3334
» Descriptive and Computational Complexity
Sort
View
BMCBI
2010
107views more  BMCBI 2010»
15 years 4 months ago
Semantic annotation of morphological descriptions: an overall strategy
Background: Large volumes of morphological descriptions of whole organisms have been created as print or electronic text in a human-readable format. Converting the descriptions in...
Hong Cui
IEEESCC
2008
IEEE
15 years 11 months ago
Enhancing Semantic Web Services Composition with User Interaction
The semantic web services composition process arranges several web services into one composite to realize complex workflows. To do this, semantic metadata of web services’ desc...
Peter Bartalos, Mária Bieliková
IEEESCC
2005
IEEE
15 years 10 months ago
Discovering Semantic Relations between Web Services Using Their Pre and Post-Conditions
Discovering and assembling individual Web services into more complex yet new and more useful Web processes has received significant attention from academia recently. In this thesi...
Lin Lin, Ismailcem Budak Arpinar
TIDSE
2004
Springer
15 years 9 months ago
Writing Interactive Fiction Scenarii with DraMachina
Abstract. This paper presents DraMachina, an authoring tool dedicated to authors of interactive fictions. An interactive fiction is an extension of classical narrative media as i...
Stéphane Donikian, Jean-Noël Portugal
115
Voted
IPPS
2003
IEEE
15 years 9 months ago
Founding FireWire Bridges through Promela Prototyping
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
Izak van Langevelde, Judi Romijn, Nicolae Goga