Sciweavers

5 search results - page 1 / 1
» A Tool-Supported Review Approach to Detecting Structural Con...
Sort
View
61
Voted
ACISICIS
2005
IEEE
15 years 3 months ago
A Review Approach to Detecting Structural Consistency Violations in Programs
Yuting Chen, Shaoying Liu, Fumiko Nagoya
PVLDB
2010
119views more  PVLDB 2010»
14 years 8 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
15 years 10 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
15 years 11 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