Sciweavers

5671 search results - page 561 / 1135
» A Semantic Approach to Interpolation
Sort
View
219
Voted
COORDINATION
2006
Springer
15 years 11 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
DEXAW
1995
IEEE
93views Database» more  DEXAW 1995»
15 years 11 months ago
Meta Modeling for End User Computing
Inherent constraints play an important role in the semantic Xplain model. These constraints enable us to represent certain real world knowledge once for subsequent use in several ...
J. H. ter Bekke
AAAI
2007
15 years 9 months ago
Handling Non-Sentential Utterances in a Continuous Understanding Framework
The goal of my research is to understand speech input in a continuous manner by treating the input stream as fragmental utterances. This allows us to use various approaches to pre...
Carlos Gómez Gallo
175
Voted
DLOG
2008
15 years 9 months ago
Rewriting Rules into SROIQ Axioms
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
Francis Gasse, Ulrike Sattler, Volker Haarslev
228
Voted
STAIRS
2008
112views Education» more  STAIRS 2008»
15 years 8 months ago
Unsupervised Web-based Automatic Annotation
The success of the Semantic Web depends both on the definition of ontologies used to represent the knowledge as on the annotations performed of the web contents. As manual approach...
Miquel Millan, David Sánchez, Antonio Moren...