Sciweavers

617 search results - page 87 / 124
» On properties of cell matrices
Sort
View
TCS
2008
15 years 6 months ago
Sequential and parallel triangulating algorithms for Elimination Game and new insights on Minimum Degree
1 Elimination Game is a well known algorithm that simulates Gaussian elimination of matrices on graphs, and it computes a triangulation of the input graph. The number of fill edge...
Anne Berry, Elias Dahlhaus, Pinar Heggernes, Genev...
SIAMCO
2002
86views more  SIAMCO 2002»
15 years 5 months ago
On the Observability and Detectability of Continuous-Time Markov Jump Linear Systems
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....
Eduardo F. Costa, João Bosco Ribeiro do Val
174
Voted
ICFEM
2010
Springer
15 years 4 months ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...
147
Voted
JAT
2010
88views more  JAT 2010»
15 years 4 months ago
Cauchy biorthogonal polynomials
The paper investigates the properties of certain biorthogonal polynomials appearing in a specific simultaneous Hermite–Pad´e approximation scheme. Associated with any totally ...
M. Bertola, M. Gekhtman, J. Szmigielski
MA
2010
Springer
104views Communications» more  MA 2010»
15 years 4 months ago
Representations of SO(3) and angular polyspectra
We characterize the angular polyspectra, of arbitrary order, associated with isotropic fields defined on the sphere S2 = (x, y, z) : x2 + y2 + z2 = 1 . Our techniques rely heavi...
D. Marinucci, G. Peccati