155 search results - page 27 / 31 » Generating Referring Expressions Using Multiple Knowledge So... |
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
BMCBI
2008
2008
RPPAML/RIMS: A metadata format and an information management system for reverse phase protein arrays
13 years 7 months ago
Background: Reverse Phase Protein Arrays (RPPA) are convenient assay platforms to investigate the presence of biomarkers in tissue lysates. As with other high-throughput technolog...
VLDB
2004
ACM
14 years 23 days ago
2004
ACM
The widespread adoption of XML holds out the promise that document structure can be exploited to specify precise database queries. However, the user may have only a limited knowle...
JSAC
2008
13 years 7 months ago
2008
Abstract--It is now well known that employing channel adaptive signaling in wireless communication systems can yield large improvements in almost any performance metric. Unfortunat...
AIEDAM
2007
2007
Biomimetic design through natural language analysis to facilitate cross-domain information retrieval
13 years 7 months ago
Biomimetic, or biologically inspired, design uses analogous biological phenomena to develop solutions for engineering problems. Several instances of biomimetic design result from ...