Models of computer users that are learned on the basis of data can make use of two types of information: data about users in general and data about the current individual user. Fo...
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...
The center string (or closest string) problem is a classical computer science problem with important applications in computational biology. Given k input strings and a distance thr...