Sciweavers

2409 search results - page 54 / 482
» On Extended Regular Expressions
Sort
View
HYBRID
1998
Springer
15 years 8 months ago
Equations on Timed Languages
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
Eugene Asarin
101
Voted
COMBINATORICS
2007
87views more  COMBINATORICS 2007»
15 years 3 months ago
Bartholdi Zeta Functions for Hypergraphs
Recently, Storm [8] defined the Ihara-Selberg zeta function of a hypergraph, and gave two determinant expressions of it. We define the Bartholdi zeta function of a hypergraph, a...
Iwao Sato
136
Voted
DAGM
2006
Springer
15 years 5 months ago
On-Line Variational Estimation of Dynamical Fluid Flows with Physics-Based Spatio-temporal Regularization
We present a variational approach to motion estimation of instationary fluid flows. Our approach extends prior work along two directions: (i) The full incompressible Navier-Stokes ...
Paul Ruhnau, Annette Stahl, Christoph Schnörr
124
Voted
SIAMJO
2008
87views more  SIAMJO 2008»
15 years 3 months ago
Linear Regularity for a Collection of Subsmooth Sets in Banach Spaces
Using variational analysis, we study the linear regularity for a collection of finitely many closed sets. In particular, we extend duality characterizations of the linear regularit...
Xi Yin Zheng, Kung Fu Ng
COMBINATORICS
2006
98views more  COMBINATORICS 2006»
15 years 4 months ago
Restricted Walks in Regular Trees
Let T be the Cayley graph of a finitely generated free group F. Given two vertices in T consider all the walks of a given length between these vertices that at a certain time must...
Laura Ciobanu, Sasa Radomirovic