Sciweavers

606 search results - page 33 / 122
» words 2002
Sort
View
ENTCS
2002
152views more  ENTCS 2002»
14 years 11 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»
14 years 11 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»
14 years 11 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»
14 years 11 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»
14 years 11 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