Sciweavers

231 search results - page 46 / 47
» A Brief Overview of HOL4
Sort
View
97
Voted
BMCBI
2010
134views more  BMCBI 2010»
14 years 11 months ago
Semi-automated screening of biomedical citations for systematic reviews
Background: Systematic reviews address a specific clinical question by unbiasedly assessing and analyzing the pertinent literature. Citation screening is a time-consuming and crit...
Byron C. Wallace, Thomas A. Trikalinos, Joseph Lau...
DEBU
2008
149views more  DEBU 2008»
14 years 11 months ago
Semantics enhanced Services: METEOR-S, SAWSDL and SA-REST
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
Amit P. Sheth, Karthik Gomadam, Ajith Ranabahu
108
Voted
JLBS
2007
130views more  JLBS 2007»
14 years 11 months ago
Mobile positioning for traffic state acquisition
: The topics presented in this paper regard the project “Data Optimisation for integrated Telematics” (Do-iT) granted by the German ministry of economics and technology. Within...
Katrin Ramm, Volker Schwieger
ETS
2000
IEEE
220views Hardware» more  ETS 2000»
14 years 11 months ago
Law On-Line: A Collaborative, Web-Based Journey in the Law and Social Sciences
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...
Cynthia L. Cates, Wayne V. McIntosh
99
Voted
DEBU
1999
112views more  DEBU 1999»
14 years 11 months ago
Describing and Manipulating XML Data
This paper presents a brief overview of data management using the Extensible Markup Language (XML). It presents the basics of XML and the DTDs used to constrain XML data, and desc...
Sudarshan S. Chawathe