1636 search results - page 73 / 328 » Type-Theoretic Functional Semantics |
145
Voted
GI
1997
Springer
15 years 7 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
155
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Gene Ontology (GO) is a standard vocabulary of functional terms and allows for coherent annotation of gene products. These annotations provide a basis for new methods ...
162
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
The key limiting factor in graphical model inference and learning is the complexity of the partition function. We thus ask the question: what are the most general conditions under...
126
Voted
EDBT
2000
ACM
15 years 7 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
138
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Researchers interested in analysing the expression patterns of functionally related genes usually hope to improve the accuracy of their results beyond the boundaries o...