Search Sciweavers | Sciweavers

30

CAV
1998
Springer

138views Hardware» more CAV 1998»

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs

14 years 21 days ago

bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...

Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...

claim paper

Read More »

18

click to vote

ICMCS
2005
IEEE

87views Multimedia» more ICMCS 2005»

Modelling of distortion caused by packet losses in video transport

14 years 2 months ago

Download www.cecs.uci.edu

Abstract— This paper analyzes transmission-error induced distortion in decoded video. A recursion model is derived that relates the distortion in successive P-frames. The model t...

Yao Wang, Zhenyu Wu, Jill M. Boyce, Xiaoan Lu

claim paper

Read More »

27

click to vote

STACS
2010
Springer

136views Theoretical Computer Science» more STACS 2010»

The Recognition of Tolerance and Bounded Tolerance Graphs

14 years 3 months ago

Download www.cs.technion.ac.il

Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conﬂict. This subclass of perfect graphs has bee...

George B. Mertzios, Ignasi Sau, Shmuel Zaks

claim paper

Read More »

39

click to vote

ICTL
1994

245views Automated Reasoning» more ICTL 1994»

Completeness through Flatness in Two-Dimensional Temporal Logic

14 years 16 days ago

Download staff.science.uva.nl

We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...

Yde Venema

claim paper

Read More »

20

click to vote

ATVA
2005
Springer

88views Hardware» more ATVA 2005»

A New Graph of Classes for the Preservation of Quantitative Temporal Constraints

14 years 2 months ago