Sciweavers

6651 search results - page 50 / 1331
» Translating Web Data
Sort
View
CADE
2008
Springer
16 years 1 months ago
Presenting TSTP Proofs with Inference Web Tools
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...
Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia ...
IC
2007
15 years 3 months ago
HTSQL - a Native Web Query Language
Hyper-Text Structured Query Language (HTSQL) is a standardizable middleware component that translates a HTTP request into an SQL query, performs the query against a relational dat...
Clark Evans
BMCBI
2007
113views more  BMCBI 2007»
15 years 1 months ago
miRAS: a data processing system for miRNA expression profiling study
Background: The study of microRNAs (miRNAs) is attracting great considerations. Recent studies revealed that miRNAs play as important regulators of gene expression and some even a...
Feng Tian, Huayue Zhang, Xinyu Zhang, Chi Song, Yo...
ESWS
2007
Springer
15 years 7 months ago
The RDF Book Mashup: From Web APIs to a Web of Data
The RDF Book Mashup demonstrates how Web 2.0 data sources like Amazon, Google and Yahoo can be integrated into the Semantic Web. Following the principles of linked data, the RDF Bo...
Christian Bizer, Richard Cyganiak, Tobias Gauss
104
Voted
PVLDB
2008
93views more  PVLDB 2008»
15 years 1 months ago
Large-scale collaborative analysis and extraction of web data
Archived web data is a great resource for scientific research, but poses serious challenges in data processing and management. We demonstrate the Web Lab Collaboration Server, a p...
Felix Weigel, Biswanath Panda, Mirek Riedewald, Jo...