1205 search results - page 175 / 241 » Program Extraction from Large Proof Developments |
107
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: One of the difficulties in mapping biomedical named entities, e.g. genes, proteins, chemicals and diseases, to their concept identifiers stems from the potential varia...
101
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
117
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Structural properties of proteins such as secondary structure and solvent accessibility contribute to three-dimensional structure prediction, not only in the ab initio...
127
click to vote
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
149
click to vote
WCRE
1999
IEEE
15 years 5 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...