16725 search results - page 3210 / 3345 » Engineering Software Correctness |
132
Voted
SIAMIS
2011
14 years 5 months ago
2011
In this paper we propose an active contour model for segmentation based on the Chan-Vese model. The new model can capture inherent sharp features, i.e., the sharp corners of object...
143
Voted
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
152
Voted
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
207
Voted
AMAI
2011
Springer
14 years 2 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
127
click to vote
ATAL
2011
Springer
14 years 2 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...