3166 search results - page 538 / 634 » Translation By Structural Correspondences |
171
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
121
click to vote
BIOINFORMATICS
2000
15 years 6 months ago
2000
Motivation: Net Nearest Neighbor Analysis (NNNA) measures a previously unexamined aspect of dinucleotide frequency--the non-compensated, non-repetitive dinucleotides in a sequence...
148
click to vote
COMBINATORICS
2002
15 years 6 months ago
2002
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is ...
160
click to vote
DAM
2000
15 years 6 months ago
2000
The linear-width of a graph G is de ned to be the smallest integer k such that the edges of G can be arranged in a linear ordering e1;:::;er in such a way that for every i = 1;:::...
149
click to vote
CC
1998
Springer
15 years 6 months ago
1998
Springer
We introduce the natural class SP 2 containing those languages which may be expressed in terms of two symmetric quanti ers. This class lies between P 2 and P 2 P 2 and naturall...