Sciweavers

2409 search results - page 54 / 482
» On Extended Regular Expressions
Sort
View
HYBRID
1998
Springer
15 years 2 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
COMBINATORICS
2007
87views more  COMBINATORICS 2007»
14 years 9 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
DAGM
2006
Springer
14 years 11 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
SIAMJO
2008
87views more  SIAMJO 2008»
14 years 9 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»
14 years 10 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