In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
Waldemar Hummer, Patrick Gaubatz, Mark Strembeck, ...
Rank-aware query processing has become essential for many applications that return to the user only the top-k objects based on the individual user's preferences. Top-k queries...
We present an efļ¬cient and uniform approach for the automatic reconstruction of surfaces of CAD (computer aided design) models and scalar ļ¬elds deļ¬ned on them, from an unorg...
Chandrajit L. Bajaj, Fausto Bernardini, Guoliang X...
Discovering non-trivial matching subsequences from two time series is very useful in synthesizing novel time series. This can be applied to applications such as motion synthesis wh...
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal veriļ¬cation. Eļ¬cient algorithms for ...
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...