736 search results - page 45 / 148 » High-order functions and their ordering relations |
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In order to study relative PCF-definability of boolean functions, we associate a hypergraph Hf to any boolean function f (following [3, 5]). We introduce the notion of t...
EUSFLAT
2003
15 years 1 months ago
2003
A general framework for studying the transitivity of reciprocal relations is presented. The key feature is the cyclic evaluation of transitivity: triangles (i.e. any three points)...
BMCBI
2007
14 years 11 months ago
2007
Background: Eisenia fetida, commonly known as red wiggler or compost worm, belongs to the Lumbricidae family of the Annelida phylum. Little is known about its genome sequence alth...
EACL
2003
ACL Anthology
15 years 1 months ago
2003
ACL Anthology
Topological Dependency Grammar (TDG) is a lexicalized dependency grammar formalism, able to model languages with a relatively free word order. In such languages, word order variat...
193
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
Many scientific, financial, data mining and sensor network applications need to work with continuous, rather than discrete data e.g., temperature as a function of location, or sto...