4961 search results - page 355 / 993 » Homomorphism-Homogeneous Relational Structures |
229
click to vote
BSDIA
1997
Springer
15 years 11 months ago
1997
Springer
This paper is a description of recent advances in off-line signature verification research performed at our laboratory. Related works pertain to structural interpretation of signa...
170
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
A Datalog program can be translated into a system of fixpoint equations of relational algebra; this paper studies how such a system can be solved and optimized for a particular qu...
141
click to vote
CCE
2007
15 years 8 months ago
2007
: In the context of the MAPPER project, the paper presents an approach for model based methodology engineering with the mission of supporting the creation and utilisation of a holi...
196
click to vote
ENTCS
2006
15 years 6 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
139
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: We introduce the notion of ∧- and ∨-pairs of functions on lattices as an abstraction of the notions of metric and its related entropy for probability distributions. T...