691 search results - page 16 / 139 » Equational Abstractions |
CSL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
OL
2010
13 years 7 months ago
2010
Abstract. We consider the system of m linear equations in n integer variables Ax = d and give sufficient conditions for the uniqueness of its integer solution x ∈ {−1,1}n by r...
MOC
1998
13 years 8 months ago
1998
We approximate the solution of initial boundary value problems for nonlinear parabolic equations. In space we discretize by finite element methods. The discretization in time is b...
ITP
2010
14 years 19 days ago
2010
Abstract. Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a swi...