Sciweavers

8479 search results - page 1412 / 1696
» Data Extraction from Web Data Sources
Sort
View
NAACL
2003
15 years 5 months ago
TAP-XL: An Automated Analyst's Assistant
The TAP-XL Automated Analyst’s Assistant is an application designed to help an Englishspeaking analyst write a topical report, culling information from a large inflow of multili...
Sean Colbath, Francis Kubala
165
Voted
AI
2008
Springer
15 years 4 months ago
Speculative plan execution for information gathering
The execution performance of an information gathering plan can suffer significantly due to remote I/O latencies. A streaming dataflow model of execution addresses the problem to s...
Greg Barish, Craig A. Knoblock
148
Voted
BMCBI
2008
135views more  BMCBI 2008»
15 years 4 months ago
Facilitating the development of controlled vocabularies for metabolomics technologies with text mining
Background: Many bioinformatics applications rely on controlled vocabularies or ontologies to consistently interpret and seamlessly integrate information scattered across public r...
Irena Spasic, Daniel Schober, Susanna-Assunta Sans...
KDD
2012
ACM
217views Data Mining» more  KDD 2012»
13 years 6 months ago
Cross-domain collaboration recommendation
Interdisciplinary collaborations have generated huge impact to society. However, it is often hard for researchers to establish such cross-domain collaborations. What are the patte...
Jie Tang, Sen Wu, Jimeng Sun, Hang Su
ICFP
2009
ACM
16 years 4 months ago
Effective interactive proofs for higher-order imperative programs
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...
« Prev « First page 1412 / 1696 Last » Next »