✦ LIBER ✦

A Resolution-based Model Building Algorithm for a Fragment of OCC1N =: (Extended Abstract)

✍ Scribed by Nicolas Peltier

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 828 KB
Volume: 86
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80655-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extended abstract Petri nets: A constrai

Extended abstract Petri nets: A constraint-based model of computation

✍ Gurdeep S. Hura 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 687 KB

A Graph-Theoretic Characterization Theor

A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic (Extended Abstract)

✍ Misao Nagayama; Mitsuhiro Okada 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 48 KB

A graph-based, multi-resolution algorith

A graph-based, multi-resolution algorithm for tracking objects in presence of occlusions

✍ Donatello Conte; Pasquale Foggia; Jean-Michel Jolion; Mario Vento 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 468 KB

Iterative Deconvolution Algorithm for Im

Iterative Deconvolution Algorithm for Improving Range Resolution of a CO2-Laser Based Lidar System

✍ Young Je PARK; Hong Jin KONG 📂 Article 📅 1997 🏛 Optical Society of Japan 🌐 English ⚖ 515 KB

Design and evaluation of a fast model-ba

Design and evaluation of a fast model-based algorithm for ultrasonic range measurements

✍ R. Raya; A. Frizera; R. Ceres; L. Calderón; E. Rocon 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 809 KB

This paper proposes an algorithm for ultrasonic distance measurement applications. In order to estimate the time-of-flight (ToF), an analytic process is developed based on the mathematical model of the ultrasonic envelope signal improving some previous methods by extrapolation and characterization o

A model for the structure of bacteriorho

A model for the structure of bacteriorhodopsin based on high resolution cryoelectron microscopy

✍ R. Henderson 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 106 KB