✦ LIBER ✦

Maximal traces and path-based coalgebraic temporal logics

✍ Scribed by Corina Cîrstea

Book ID: 113927397
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 350 KB
Volume: 412
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.04.025

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Temporal scenario modelling and recognit

Temporal scenario modelling and recognition based on possibilistic logic

✍ Michel Grabisch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 295 KB

We propose in this paper a new approach for the modelling and recognition of temporal scenarios. A scenario is represented by three different structures. The first one models the logical dependency between the elements of the scenario, using possibilistic logic, while the second one is the minimal t

Temporal logic based hardware descriptio

Temporal logic based hardware description and its verification with Prolog

✍ Masahiro Fujita; Hidehiko Tanaka; Tohru Moto-Oka 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 369 KB

Multimedia data modeling based on tempor

Multimedia data modeling based on temporal logic and XYZ System

✍ Huadong Ma; Shenquan Liu 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 373 KB

Bases for closed sets of implicants and

Bases for closed sets of implicants and implicates in temporal logic

✍ P. Cordero; M. Enciso; I.P. de Guzmán 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 171 KB

A temporal trace and SOM-based model of

A temporal trace and SOM-based model of complex cell development

✍ Thomas J. Sullivan; Virginia R. de Sa 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 213 KB

Near-duplicate video detection featuring

Near-duplicate video detection featuring coupled temporal and perceptual visual structures and logical inference based matching

✍ Mohammed Belkhatir; Bashar Tahayna 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 863 KB