13383 search results - page 2430 / 2677 » Abstractions from proofs |
145
Voted
AMAI
2007
Springer
15 years 29 days ago
2007
Springer
Relational datasets, i.e., datasets in which individuals are described both by their own features and by their relations to other individuals, arise from various sources such as d...
ANOR
2008
15 years 29 days ago
2008
Abstract We consider the problem of coordinating the operations of two supply chain partners: a foreign shipping company and a domestic port. The two partners have conflicting busi...
99
Voted
BMCBI
2010
15 years 29 days ago
2010
Background: The protein structures of the disease-associated proteins are important for proceeding with the structure-based drug design to against a particular disease. Up until n...
118
Voted
BMCBI
2010
15 years 28 days ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
114
Voted
BMCBI
2008
15 years 28 days ago
2008
Background: While text-mining and distributed annotation systems both aim at capturing knowledge and presenting it in a standardized form, there have been few attempts to investig...