Sciweavers

913 search results - page 78 / 183
» Full Abstraction for Linda
Sort
View
DLOG
2009
13 years 6 months ago
On Correspondences between Probabilistic First-Order and Description Logics
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
Pavel Klinov, Bijan Parsia, Ulrike Sattler
ENASE
2009
88views Hardware» more  ENASE 2009»
13 years 6 months ago
FOCAS: An Enginering Environment for Service-Based Applications
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...
Gabriel Pedraza, Idrissa A. Dieng, Jacky Estublier
IC3
2009
13 years 6 months ago
Local Subspace Based Outlier Detection
Abstract. Existing studies in outlier detection mostly focus on detecting outliers in full feature space. But most algorithms tend to break down in highdimensional feature spaces b...
Ankur Agrawal
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 6 months ago
Fast Pseudo-Random Fingerprints
Abstract. We propose a method to exponentially speed up computation of various fingerprints, such as the ones used to compute similarity and rarity in massive data sets. Rather the...
Yoram Bachrach, Ely Porat
EPEW
2010
Springer
13 years 6 months ago
Performance Modeling and Analysis of the Universal Control Hub
Abstract. People with special needs may find difficulties using electronic consumer devices, user interfaces limit their chances of having full control on them. The Universal Remot...
Elena Gómez-Martínez, José Me...