3116 search results - page 45 / 624 » Positively dependent types |
BMCBI
2008
14 years 10 months ago
2008
Background: Biological chemistry is very stereospecific. Nonetheless, the diastereotopic oxygen atoms of diphosphate-containing molecules in the Protein Data Bank (PDB) are often ...
CGI
1998
IEEE
15 years 2 months ago
1998
IEEE
This article deals with dependencies of a piecewise linear vector field and the triangulation of the domain. It shows that the topology of the field may depend on the triangulatio...
ACL
2001
14 years 11 months ago
2001
Polarized dependency (PD-) grammars are proposed as a means of efficient treatment of discontinuous constructions. PD-grammars describe two kinds of dependencies : local, explicit...
NIPS
2004
14 years 11 months ago
2004
Gaussian processes are usually parameterised in terms of their covariance functions. However, this makes it difficult to deal with multiple outputs, because ensuring that the cova...
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...