Sciweavers

524 search results - page 27 / 105
» Temporal reachability graphs
Sort
View
ICDM
2007
IEEE
149views Data Mining» more  ICDM 2007»
14 years 4 months ago
Temporal Analysis of Semantic Graphs Using ASALSAN
ASALSAN is a new algorithm for computing three-way DEDICOM, which is a linear algebra model for analyzing intrinsically asymmetric relationships, such as trade among nations or th...
Brett W. Bader, Richard A. Harshman, Tamara G. Kol...
CAV
1998
Springer
138views Hardware» more  CAV 1998»
14 years 2 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
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...
STACS
2010
Springer
14 years 4 months ago
The Recognition of Tolerance and Bounded Tolerance Graphs
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has bee...
George B. Mertzios, Ignasi Sau, Shmuel Zaks
MMM
2005
Springer
143views Multimedia» more  MMM 2005»
14 years 3 months ago
Color Time Petri Net for Interactive Adaptive Multimedia Objects
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
Ahmed Gomaa, Nabil R. Adam, Vijayalakshmi Atluri
ATVA
2005
Springer
88views Hardware» more  ATVA 2005»
14 years 3 months ago
A New Graph of Classes for the Preservation of Quantitative Temporal Constraints
Xiaoyu Mao, Janette Cardoso, Robert Valette