894 search results - page 6 / 179 » Universal Relations |
67
Voted
JCDL
2006
ACM
15 years 3 months ago
2006
ACM
The Perseus Project at Tufts University produces tools to enhance the study of humanities texts. Perseus’ new named-entity browser lets users browse an index of references to pe...
BMCBI
2008
14 years 9 months ago
2008
Background: To meet the needs of gene annotation for newly sequenced organisms, optimized spaced seeds can be implemented into cross-species sequence alignment programs to accurat...
81
Voted
ICCS
1994
Springer
15 years 1 months ago
1994
Springer
This paper gives a data structure (UDS) for supporting database retrieval, inference and machine learning that attempts to unify and extend previous work in relational databases, ...
TPHOL
1999
IEEE
15 years 1 months ago
1999
IEEE
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
87
Voted
EJC
2010
14 years 9 months ago
2010
We establish relations between the bandwidth and the treewidth of bounded degree graphs G, and relate these parameters to the size of a separator of G as well as the size of an exp...