Sciweavers

3724 search results - page 123 / 745
» Timed regular expressions
Sort
View
ISAAC
2007
Springer
135views Algorithms» more  ISAAC 2007»
15 years 10 months ago
Fast Evaluation of Union-Intersection Expressions
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
Philip Bille, Anna Pagh, Rasmus Pagh
COLING
2008
15 years 5 months ago
Quantification and Implication in Semantic Calendar Expressions Represented with Finite-State Transducers
This paper elaborates a model for representing semantic calendar expressions (SCEs), which correspond to the intensional meanings of natural-language calendar phrases. The model u...
Jyrki Niemi, Kimmo Koskenniemi
FOSSACS
2011
Springer
14 years 7 months ago
Ordinal Theory for Expressiveness of Well Structured Transition Systems
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
Rémi Bonnet, Alain Finkel, Serge Haddad, Fe...
128
Voted
CMMR
2007
Springer
122views Music» more  CMMR 2007»
15 years 8 months ago
Rule-Based Expressive Modifications of Tempo in Polyphonic Audio Recordings
This paper describes a few aspects of a system for expressive, rule-based modifications of audio recordings regarding tempo, dynamics and articulation. The input audio signal is fi...
Marco Fabiani, Anders Friberg
CGF
2008
142views more  CGF 2008»
15 years 4 months ago
Visualizing Genome Expression and Regulatory Network Dynamics in Genomic and Metabolic Context
DNA microarrays are used to measure the expression levels of thousands of genes simultaneously. In a time series experiment, the gene expressions are measured as a function of tim...
Michel A. Westenberg, Sacha A. F. T. van Hijum, Os...