Sciweavers

606 search results - page 33 / 122
» words 2002
Sort
View
ENTCS
2002
152views more  ENTCS 2002»
13 years 9 months ago
Contract-based mutation testing in the refinement calculus
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
Bernhard K. Aichernig
IJDAR
2002
98views more  IJDAR 2002»
13 years 9 months ago
An unconstrained handwriting recognition system
Abstract. In this paper, an integrated offline recognition system for unconstrained handwriting is presented. The proposed system consists of seven main modules: skew angle estimat...
Ergina Kavallieratou, Nikos Fakotakis, George K. K...
IJON
2002
219views more  IJON 2002»
13 years 9 months ago
NEURObjects: an object-oriented library for neural network development
NEURObjects is a set of C++ library classes for neural network development, exploiting the potentialities of object-oriented design and programming. The main goal of the library c...
Giorgio Valentini, Francesco Masulli
INFORMATICALT
2002
191views more  INFORMATICALT 2002»
13 years 9 months ago
Optimal Control of a Well-Stirred Bioreactor in the Presence of Stochastic Perturbations
We study the stochastic model for bioremediation in a bioreactor with ideal mixing. The dynamics of the examined system is described by stochastic differential equations. We consid...
Vadim Azhmyakov
INFORMATICALT
2002
69views more  INFORMATICALT 2002»
13 years 9 months ago
Improving the Information Rate of a Private-key Cryptosystem Based on Product Codes
Recently, Sun proposed a private-key encryption scheme based on the product codes with the capability of correcting a special type of structured errors. In this paper, we present a...
Hung-Min Sun