Sciweavers

130 search results - page 5 / 26
» The Semantics of Scheme Control-Flow Analysis
Sort
View
BMCBI
2007
119views more  BMCBI 2007»
14 years 9 months ago
Conceptual-level workflow modeling of scientific experiments using NMR as a case study
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...
Kacy K. Verdi, Heidi J. C. Ellis, Michael R. Gryk
LREC
2010
139views Education» more  LREC 2010»
14 years 11 months ago
Towards an Integrated Scheme for Semantic Annotation of Multimodal Dialogue Data
This paper investigates the applicability of existing dialogue act annotation schemes, designed for the analysis of spoken dialogue, to the semantic annotation of multimodal data,...
Volha Petukhova, Harry Bunt
TCBB
2010
106views more  TCBB 2010»
14 years 7 months ago
Predicting Novel Human Gene Ontology Annotations Using Semantic Analysis
—The correct interpretation of many molecular biology experiments depends in an essential way on the accuracy and consistency of the existing annotation databases. Such databases...
Bogdan Done, Purvesh Khatri, Arina Done, Sorin Dra...
IFIP
2010
Springer
14 years 4 months ago
A Calculus for the Analysis of Wireless Network Security Protocols
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
Francesco Ballardin, Massimo Merro
LREC
2010
195views Education» more  LREC 2010»
14 years 11 months ago
Integration of Linguistic Markup into Semantic Models of Folk Narratives: The Fairy Tale Use Case
Propp's influential structural analysis of fairy tales created a powerful schema for representing storylines in terms of character functions, which is directly exploitable fo...
Piroska Lendvai, Thierry Declerck, Sándor D...