3011 search results - page 303 / 603 » Generating XML Based Specifications of Information Systems |
261
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
102
click to vote
ICECCS
2000
IEEE
15 years 8 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
134
Voted
BMCBI
2002
15 years 3 months ago
2002
Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...
136
click to vote
TCS
2008
15 years 3 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
127
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Pseudo-relevance feedback (PRF) via query-expansion has been proven to be effective in many information retrieval (IR) tasks. In most existing work, the top-ranked documents from...