STACS
1998
Springer
14 years 3 months ago
1998
Springer
We consider Boolean functions represented by decision lists, and study their relationships to other classes of Boolean functions. It turns out that the elementary class of 1-decis...
STACS
1998
Springer
14 years 3 months ago
1998
Springer
SOFSEM
1998
Springer
14 years 3 months ago
1998
Springer
SOFSEM
1998
Springer
14 years 3 months ago
1998
Springer
In our paper we discuss an approach to semiautomatic corpus processing aimed at analysing verb valencies in Czech and consecutive determining the type of TIL (Transparent Intension...
SOFSEM
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Based on the specific characteristics of electronic commerce (ECommerce) requirements for an adequate system support, this contribution gives an overview of the respectiv...
SOFSEM
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. The realisation of electronic commerce process is very difficult without appropriate system for electronic payment. Of course it is possible to use some of the convention...
SOFSEM
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
SOFSEM
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. The problem of reconstructing a discrete set from its horizontal and vertical projections (RSP) is of primary importance in many different problems for example pattern re...
RTA
1998
Springer
14 years 3 months ago
1998
Springer
The system FT