691 search results - page 32 / 139 » Equational Abstractions |
MOC
2000
13 years 8 months ago
2000
We treat the time discretization of an initial-value problem for a ous abstract parabolic equation by first using a representation of the solution as an integral along the boundary...
MCMASTER
1993
14 years 26 days ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. In this paper, we propose a particle filtering approach for tracking applications in image sequences. The system we propose combines a measurement equation and a dynamic ...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper presents a new analysis of power complementary analog filters using the state-space representation. Our analysis is based on the bounded-real Riccati equati...
SCALESPACE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Based on a new, general formulation of the geometric method of moving frames, invariantization of numerical schemes has been established during the last years as a powerf...