Sciweavers

3679 search results - page 574 / 736
» Hybrid Semantic Analysis
Sort
View
SEFM
2007
IEEE
16 years 22 days ago
Disciplining Orchestration and Conversation in Service-Oriented Computing
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
Ivan Lanese, Francisco Martins, Vasco Thudichum Va...
AIIA
2007
Springer
16 years 20 days ago
Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture
We present two algorithms for supporting semi-automatic ontology building, integrated in WPro, a new architecture for ontology learning from Web documents. The first algorithm auto...
Daniele Bagni, Marco Cappella, Maria Teresa Pazien...
ESWS
2007
Springer
16 years 19 days ago
Simple Algorithms for Predicate Suggestions Using Similarity and Co-occurrence
Abstract When creating Semantic Web data, users have to make a critical choice for a vocabulary: only through shared vocabularies can meaning be established. A centralised policy p...
Eyal Oren, Sebastian Gerke, Stefan Decker
ICA
2007
Springer
16 years 19 days ago
Supervised and Semi-supervised Separation of Sounds from Single-Channel Mixtures
In this paper we describe a methodology for model-based single channel separation of sounds. We present a sparse latent variable model that can learn sounds based on their distribu...
Paris Smaragdis, Bhiksha Raj, Madhusudana V. S. Sh...
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
16 years 18 days ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter