732 search results - page 66 / 147 » Representation of Semantic Knowledge with Term Subsumption L... |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
KCAP
2011
ACM
12 years 10 months ago
2011
ACM
Some supervised-learning algorithms can make effective use of domain knowledge in addition to the input-output pairs commonly used in machine learning. However, formulating this a...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
The unique selling point of XML as standard representation of content is its ease of use thus facilitating interoperability between various partners and platforms. To overcome XML ...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...