Sciweavers

3166 search results - page 538 / 634
» Translation By Structural Correspondences
Sort
View
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 16 days ago
On Generalized Records and Spatial Conjunction in Role Logic
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...
Viktor Kuncak, Martin C. Rinard
68
Voted
BIOINFORMATICS
2000
74views more  BIOINFORMATICS 2000»
15 years 16 days ago
Net Nearest Neighbor Analysis (NNNA) summarizes non-compensated dinucleotides within gene sequences
Motivation: Net Nearest Neighbor Analysis (NNNA) measures a previously unexamined aspect of dinucleotide frequency--the non-compensated, non-repetitive dinucleotides in a sequence...
Dorothy M. Lang
COMBINATORICS
2002
87views more  COMBINATORICS 2002»
15 years 16 days ago
Kasteleyn Cokernels
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 ...
Greg Kuperberg
DAM
2000
97views more  DAM 2000»
15 years 15 days ago
Algorithms and obstructions for linear-width and related search parameters
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;:::...
Dimitrios M. Thilikos
94
Voted
CC
1998
Springer
100views System Software» more  CC 1998»
15 years 12 days ago
Symmetric Alternation Captures BPP
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...
Alexander Russell, Ravi Sundaram