4382 search results - page 389 / 877 » Query by Semantic Example |
144
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In the e-Science context, workflow technologies provide a problemsolving environment for researchers by facilitating the creation and execution of experiments from a pool...
142
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
121
click to vote
LREC
2008
15 years 5 months ago
2008
The paper presents a comparative study of semantic and lexical relations defined and adopted in WordNet and EuroWordNet. This document describes the experimental observations achi...
135
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
134
click to vote
APAL
2007
15 years 4 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...