Sciweavers

688 search results - page 64 / 138
» The Flow Set with Partial Order
Sort
View
BIRTHDAY
2003
Springer
15 years 3 months ago
Sweepline the Music!
Abstract. The problem of matching sets of points or sets of horizontal line segments in plane under translations is considered. For finding the exact occurrences of a point set of...
Esko Ukkonen, Kjell Lemström, Veli Mäkin...
ARTDB
1997
Springer
269views Database» more  ARTDB 1997»
15 years 2 months ago
Parallel Event Detection in Active Database Systems: The Heart of the Matter
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
Ulrike Jaeger, Johann K. Obermaier
SLP
1994
77views more  SLP 1994»
14 years 11 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 2 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
ICPR
2008
IEEE
15 years 11 months ago
Integration of time-sequential range images for reconstruction of a high-resolution 3D shape
The recognition of dynamic scenes using 3D shapes could provide useful approaches for various applications. However, the conventional 3D-shape sensing systems dedicated for such s...
Yoshihiro Watanabe, Takashi Komuro, Masatoshi Ishi...