513 search results - page 72 / 103 » Finitely Based, Finite Sets of Words |
103
click to vote
SIAMNUM
2011
14 years 6 months ago
2011
We derive energy-norm a posteriori error bounds for an Euler timestepping method combined with various spatial discontinuous Galerkin schemes for linear parabolic problems. For acc...
AUTOMATICA
2008
14 years 12 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
101
click to vote
MP
2002
14 years 11 months ago
2002
In this paper we describe an automatic procedure for successively reducing the set of possible nonzeros in a Jacobian matrix until eventually the exact sparsity pattern is obtained...
SIAMCO
2010
14 years 6 months ago
2010
We study a simple continuous-time multiagent system related to Krause's model of opinion dynamics: each agent holds a real value, and this value is continuously attracted by e...
180
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
The goal of this paper is to monitor numerical streams, and to find subsequences that are similar to a given query sequence, under the DTW (Dynamic Time Warping) distance. Applica...