✦ LIBER ✦

Semantics-based program analysis for logic-based languages using XSB

✍ Scribed by Michael Codish; Bart Demoen; Konstantinos Sagonas

Publisher: Springer
Year: 1998
Tongue: English
Weight: 373 KB
Volume: 2
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090050016

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Latent semantic analysis for vector spac

Latent semantic analysis for vector space expansion and fuzzy logic-based genetic clustering

✍ Wei Song; Soon Cheol Park 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 668 KB

Multimedia information retrieval based o

Multimedia information retrieval based on spatiotemporal relationships using description logics for the semantic web

✍ Kwan-Sang Na; Hyunjang Kong; Miyoung Cho; Pankoo Kim; Doo-Kwon Baik 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 452 KB

Since the latter half of the 1990s, ontology has been the main area of study in the semantic web. Ontology has been actively studied in several areas for a long time. There are many ontological applications and construction methods. In the study of the semantic web, ontologies are built using OWL ca

An alignment-free methodology for modell

An alignment-free methodology for modelling field-based 3D-structure activity relationships using inductive logic programming

✍ Bård Buttingsrud; Ross Donald King; Bjørn Kåre Alsberg 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 419 KB

Renal insufficiency and anemia are indep

Renal insufficiency and anemia are independent risk factors for death among patients with acute myocardial infarction1,21As published material, the contents of this manuscript may not be cited, quoted, reproduced or published without the consent of the authors.2The analyses upon which this publication is based were performed under Contract Number 500-96-P704, entitled âOperation Utilization and Quality Control Peer Review Organization (PRO) for the State of Georgiaâ and sponsored by the Centers for Medicare and Medicaid Services (CMS), Department of Health and Human Services. The conclusions and opinions expressed, and methods used herein are those of the authors. They do not necessarily reflect CMS policy. The authors assume full responsibility for the accuracy and completeness of the ideas presented. This article is a direct result of the Health Care Quality Improvement Program initiated by CMS, which has encouraged identification of quality improvement projects derived from analysis of patterns of care, and therefore required no special funding on the part of this Contractor. Ideas and contributions to the authors concerning experience in engaging with issues presented are welcomed.

✍ Langston, Robert D.; Presley, Rodney; Flanders, W. Dana; Mcclellan, William M. 📂 Article 📅 2003 🏛 Nature Publishing Group 🌐 English ⚖ 373 KB