Sciweavers

2403 search results - page 136 / 481
» Similarity of Event Sequences
Sort
View
PLDI
2000
ACM
15 years 11 months ago
Functional reactive programming from first principles
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
Zhanyong Wan, Paul Hudak
EUROPAR
2006
Springer
15 years 10 months ago
Specification of Inefficiency Patterns for MPI-2 One-Sided Communication
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
Andrej Kühnal, Marc-André Hermanns, Be...
ICDM
2005
IEEE
168views Data Mining» more  ICDM 2005»
16 years 4 days ago
Discovering Frequent Arrangements of Temporal Intervals
In this paper we study a new problem in temporal pattern mining: discovering frequent arrangements of temporal intervals. We assume that the database consists of sequences of even...
Panagiotis Papapetrou, George Kollios, Stan Sclaro...
ICIP
2005
IEEE
16 years 4 days ago
Classification and representation of semantic content in broadcast tennis videos
This paper investigates the semantic analysis of broadcast tennis footage. We consider the spatio-temporal behaviour of an object in the footage as being the embodiment of a seman...
Niall Rea, Rozenn Dahyot, Anil C. Kokaram
APLAS
2004
ACM
15 years 10 months ago
History Effects and Verification
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
Christian Skalka, Scott F. Smith