Sciweavers

2776 search results - page 32 / 556
» System-Level Abstraction Semantics
Sort
View
MSCS
2010
86views more  MSCS 2010»
13 years 8 months ago
Realisability semantics of parametric polymorphism, general references and recursive types
tations of imperative abstract data types.
Lars Birkedal, Kristian Støvring, Jacob Tha...
CSSW
2007
13 years 11 months ago
Semantic Integrator: Semi-Automatically Enhancing Social Semantic Web Environments
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
Steffen Lohmann, Philipp Heim, Jürgen Ziegler
CLEIEJ
2006
120views more  CLEIEJ 2006»
13 years 10 months ago
A semantics for while with break, continue and goto
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
Patricia Peratto
OTM
2010
Springer
13 years 8 months ago
SMILE - A Framework for Semantic Applications
Abstract. Even though the semantic web become actual topic of research recently, there are no complex solutions for building semantic applications yet to our best knowledge. We des...
Jakub Galgonek, Tomas Knap, Martin Krulis, Martin ...
IJCNLP
2005
Springer
14 years 3 months ago
Semantic Role Labelling of Prepositional Phrases
Abstract. We propose a method for labelling prepositional phrases according to two different semantic role classifications, as contained in the Penn treebank and the CoNLL 2004 S...
Patrick Ye, Timothy Baldwin