330 search results - page 27 / 66 » Intersection and Union Types |
BPM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper describes an approach to SKOS vocabulary mapping that takes into account the context in which vocabulary terms are used in annotations. The standard vocabulary...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
ER
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In this paper we develop an algorithm for structured prediction that optimizes against complex performance measures, those which are a function of false positive and fals...