Sciweavers

2403 search results - page 136 / 481
» Similarity of Event Sequences
Sort
View
PLDI
2000
ACM
15 years 5 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
107
Voted
EUROPAR
2006
Springer
15 years 4 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...
104
Voted
ICDM
2005
IEEE
168views Data Mining» more  ICDM 2005»
15 years 6 months 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
15 years 6 months 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
100
Voted
APLAS
2004
ACM
15 years 4 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