4184 search results - page 315 / 837 » Names of Our Lives |
192
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
232
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
The World Wide Web provides a huge distributed web database. However, information in the web database is free formatted and unorganized. Traditional keyword-based retrieval approa...
265
Voted
BMCBI
2010
15 years 7 months ago
2010
Background: Several tools have been developed to explore and search Gene Ontology (GO) databases allowing efficient GO enrichment analysis and GO tree visualization. Nevertheless,...
220
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: The increasing amount of published literature in biomedicine represents an immense source of knowledge, which can only efficiently be accessed by a new generation of a...