691 search results - page 64 / 139 » Equational Abstractions |
SIAMMA
2010
13 years 4 months ago
2010
Abstract. We prove the existence of an infinite discrete set of transmission eigenvalues corresponding to the scattering problem for isotropic and anisotropic inhomogeneous media f...
SIAMMA
2010
13 years 4 months ago
2010
Abstract. On product domains, sparse-grid approximation yields optimal, dimension-independent convergence rates when the function that is approximated has L2-bounded mixed derivati...
SIAMSC
2010
13 years 4 months ago
2010
Abstract. We develop in this paper some efficient algorithms which are essential to implementations of spectral methods on the sparse grid by Smolyak's construction based on a...
ENTCS
2006
13 years 10 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
ECCV
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Finding solutions to minimal problems for estimating epipolar geometry and camera motion leads to solving systems of algebraic equations. Often, these systems are not tri...