Sciweavers

114 search results - page 7 / 23
» Partial Orders, Event Structures and Linear Strategies
Sort
View
CONCUR
1999
Springer
14 years 29 days ago
On the Semantics of Place/Transition Nets
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...
Rémi Morin, Brigitte Rozoy
APWEB
2006
Springer
14 years 13 days ago
Efficient Mining Strategy for Frequent Serial Episodes in Temporal Database
Discovering patterns with great significance is an important problem in data mining discipline. A serial episode is defined to be a partially ordered set of events for consecutive ...
Kuo-Yu Huang, Chia-Hui Chang
SIAMSC
2011
126views more  SIAMSC 2011»
13 years 3 months ago
Fast Structured AMG Preconditioning for the Bidomain Model in Electrocardiology
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
Micol Pennacchio, Valeria Simoncini
IWCM
2004
Springer
14 years 2 months ago
Divide-and-Conquer Strategies for Estimating Multiple Transparent Motions
Abstract. Motion estimation is essential in a variety of image processing and computer vision tasks, like video coding, tracking, directional filtering and denoising, scene analys...
Cicero Mota, Ingo Stuke, Til Aach, Erhardt Barth
CHARME
2005
Springer
91views Hardware» more  CHARME 2005»
14 years 2 months ago
Temporal Modalities for Concisely Capturing Timing Diagrams
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...
Hana Chockler, Kathi Fisler