5066 search results - page 270 / 1014 » Spectra of structures and relations |
156
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...
228
click to vote
BSDIA
1997
Springer
15 years 10 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...
166
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...
137
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...
191
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...