84 search results - page 2 / 17 » A Simple Approach for HPSG Supertagging Using Dependency Inf... |
BMCBI
2005
13 years 5 months ago
2005
Background: Significant parts of biological knowledge are available only as unstructured text in articles of biomedical journals. By automatically identifying gene and gene produc...
VRST
2006
ACM
13 years 11 months ago
2006
ACM
Despite amazing advances in the visual quality of virtual environments, affordable-yet-effective self-motion simulation still poses a major challenge. Using a standard psychophysi...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
Questions of understanding and quantifying the representation and amount of information in organisms have become a central part of biological research, as they potentially hold th...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...