Sciweavers

423 search results - page 53 / 85
» The Generalization of Generalized Automata: Expression Autom...
Sort
View
ICML
2004
IEEE
16 years 5 months ago
Distribution kernels based on moments of counts
Many applications in text and speech processing require the analysis of distributions of variable-length sequences. We recently introduced a general kernel framework, rational ker...
Corinna Cortes, Mehryar Mohri
FMSD
2007
101views more  FMSD 2007»
15 years 4 months ago
Timed substitutions for regular signal-event languages
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
Béatrice Bérard, Paul Gastin, Antoin...
146
Voted
IJFCS
2002
58views more  IJFCS 2002»
15 years 4 months ago
Vector Algorithms for Approximate String Matching
Vector algorithms allow the computation of an output vector r = r1r2 :::rm given an input vector e = e1e2 :::em in a bounded number of operations, independent of m the length of t...
Anne Bergeron, Sylvie Hamel
CORR
2011
Springer
191views Education» more  CORR 2011»
14 years 8 months ago
Computing Optimal Coverability Costs in Priced Timed Petri Nets
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
Parosh Aziz Abdulla, Richard Mayr
ICCD
2000
IEEE
116views Hardware» more  ICCD 2000»
16 years 1 months ago
Representing and Scheduling Looping Behavior Symbolically
This paper presents a very general, exact technique for scheduling looping data-flow graphs. In contrast to the conventional technique using loop iteration variables and integer ...
Steve Haynal, Forrest Brewer