Sciweavers

404 search results - page 13 / 81
» Threads Yield Continuations
Sort
View
JSCIC
2010
145views more  JSCIC 2010»
13 years 3 months ago
Interior Penalty Continuous and Discontinuous Finite Element Approximations of Hyperbolic Equations
In this paper we present the continuous and discontinuous Galerkin methods in a unified setting for the numerical approximation of the transport dominated advection-reaction equati...
Erik Burman, Alfio Quarteroni, Benjamin Stamm
SIAMIS
2011
13 years 4 months ago
Continuous Primal-Dual Methods for Image Processing
In this article we study a continuous Primal-Dual method proposed by Appleton and Talbot and generalize it to other problems in image processing. We interpret it as an Arrow-Hurwi...
M. Goldman
IV
1999
IEEE
209views Visualization» more  IV 1999»
14 years 1 months ago
Continuous Field Visualization with Multi-Resolution Textures
A method of using a texture mapping approach to color scales is described, for the purpose of visualizing continuous field scalar quantities. The technique is most appropriate whe...
Ian Curington
JLP
2006
113views more  JLP 2006»
13 years 9 months ago
Continuity controlled hybrid automata
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
Jan A. Bergstra, C. A. Middelburg
JSYML
2010
107views more  JSYML 2010»
13 years 7 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov