Sciweavers

866 search results - page 74 / 174
» A compositional semantics for CHR
Sort
View
SIES
2007
IEEE
15 years 11 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
TASLP
2008
134views more  TASLP 2008»
15 years 5 months ago
Semantic Role Labeling Using a Grammar-Driven Convolution Tree Kernel
Convolution tree kernel has shown promising results in semantic role labeling (SRL). However, this kernel does not consider much linguistic knowledge in kernel design and only perf...
Min Zhang, Wanxiang Che, Guodong Zhou, AiTi Aw, Ch...
151
Voted
PPSWR
2005
Springer
15 years 10 months ago
A General Language for Evolution and Reactivity in the Semantic Web
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
José Júlio Alferes, Ricardo Amador, ...
153
Voted
ENTCS
2007
161views more  ENTCS 2007»
15 years 5 months ago
Bialgebraic Methods in Structural Operational Semantics: Invited Talk
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
Bartek Klin
ECOWS
2006
Springer
15 years 8 months ago
The NExT Process Workbench: Towards the Support of Dynamic Semantic Web Processes
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
Abraham Bernstein, Michael Dänzer