Sciweavers

15372 search results - page 240 / 3075
» The Semantics of Semantic Annotation
Sort
View
BIRTHDAY
2005
Springer
16 years 4 days ago
Loose Semantics of Petri Nets
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantic...
Julia Padberg, Hans-Jörg Kreowski
PADL
2005
Springer
16 years 2 days ago
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
Qian Wang, Gopal Gupta, Michael Leuschel
ECOWS
2004
Springer
16 years 17 min ago
A Conceptual Framework for Semantic Web Services Development and Deployment
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
Claus Pahl
ATAL
1997
Springer
15 years 10 months ago
Semantics for an Agent Communication Language
Abstract. We address the issue of semantics for an agent communication language. In particular, the semantics of Knowledge Query Manipulation Language (KQML) is investigated. KQML ...
Yannis Labrou, Timothy W. Finin
EKAW
2006
Springer
15 years 10 months ago
Multilayered Semantic Social Network Modeling by Ontology-Based User Profiles Clustering: Application to Collaborative Filtering
We propose a multilayered semantic social network model that offers different views of common interests underlying a community of people. The applicability of the proposed model to...
Iván Cantador, Pablo Castells