511 search results - page 80 / 103 » Composition of Semantic Relations: Model and Applications |
121
click to vote
JODS
2007
14 years 11 months ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
CSL
2000
Springer
15 years 4 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
110
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
101
click to vote
CRYPTO
2011
Springer
13 years 11 months ago
2011
Springer
Deterministic public-key encryption, introduced by Bellare, Boldyreva, and O’Neill (CRYPTO ’07), provides an alternative to randomized public-key encryption in various scenari...
152
click to vote
GIS
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we aim to estimate the similarity between users according to their GPS trajectories. Our approach first models a user’s GPS trajectories with a semantic location ...