INFORMATICALT
2007
13 years 4 months ago
2007
Abstract. The aim of this paper is to explore some features of the functional test generation problem, and on the basis of the gained experience, to propose a practical method for ...
AMAI
2006
Springer
13 years 4 months ago
2006
Springer
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
CAV
2010
Springer
13 years 7 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
IWDW
2005
Springer
13 years 9 months ago
2005
Springer
The sensitivity attack is considered as a serious threat to the security of spread-spectrum-based schemes, since it provides a practical method of removing watermarks with minimum ...
ICIP
2006
IEEE
14 years 6 months ago
2006
IEEE
This paper develops a practical method for image resolution enhancement. The method optimizes the spatially constrained Wiener filter for an efficiently parameterized model of the...