Sciweavers

1266 search results - page 11 / 254
» Detecting Inconsistencies in Distributed Data
Sort
View
AINA
2007
IEEE
14 years 3 months ago
Geo-Linda: a Geometry Aware Distributed Tuple Space
This paper presents Geo-Linda, a physically distributed tuple space. Geo-Linda targets ubiquitous computing applications involving the detection of movement patterns of objects an...
Julien Pauty, Paul Couderc, Michel Banâtre, ...
GI
2009
Springer
13 years 6 months ago
A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Ki...
SDM
2012
SIAM
247views Data Mining» more  SDM 2012»
11 years 11 months ago
Simplex Distributions for Embedding Data Matrices over Time
Early stress recognition is of great relevance in precision plant protection. Pre-symptomatic water stress detection is of particular interest, ultimately helping to meet the chal...
Kristian Kersting, Mirwaes Wahabzada, Christoph R&...
FMSD
2006
77views more  FMSD 2006»
13 years 8 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...
PAKDD
2009
ACM
149views Data Mining» more  PAKDD 2009»
14 years 1 months ago
A New Local Distance-Based Outlier Detection Approach for Scattered Real-World Data
Detecting outliers which are grossly different from or inconsistent with the remaining dataset is a major challenge in real-world KDD applications. Existing outlier detection met...
Ke Zhang, Marcus Hutter, Huidong Jin