Sciweavers

5 search results - page 1 / 1
» A Tool-Supported Review Approach to Detecting Structural Con...
Sort
View
PVLDB
2010
119views more  PVLDB 2010»
13 years 3 months ago
Chase Termination: A Constraints Rewriting Approach
Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm so...
Francesca Spezzano, Sergio Greco
ICSE
2008
IEEE-ACM
14 years 5 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
CVPR
2004
IEEE
14 years 6 months ago
Motion-Based Background Subtraction Using Adaptive Kernel Density Estimation
Background modeling is an important component of many vision systems. Existing work in the area has mostly addressed scenes that consist of static or quasi-static structures. When...
Anurag Mittal, Nikos Paragios