Sciweavers

39 search results - page 1 / 8
» Discrete Compactness for the p-Version of Discrete Different...
Sort
View
SIAMNUM
2011
124views more  SIAMNUM 2011»
12 years 11 months ago
Discrete Compactness for the p-Version of Discrete Differential Forms
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...
Daniele Boffi, Martin Costabel, Monique Dauge, Les...
FOCM
2011
84views more  FOCM 2011»
12 years 11 months ago
Discrete Lie Advection of Differential Forms
In this paper, we present a numerical technique for performing Lie advection of arbitrary differential forms. Leveraging advances in high-resolution finite volume methods for sca...
Patrick Mullen, Alexander McKenzie, Dmitry Pavlov,...
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
13 years 8 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
EMMCVPR
2007
Springer
13 years 11 months ago
Discrete Skeleton Evolution
Skeleton can be viewed as a compact shape representation in that the shape can be completely reconstructed form the skeleton. We present a novel method for skeleton pruning that is...
Xiang Bai, Longin Jan Latecki
IDEAL
2005
Springer
13 years 10 months ago
Differential Priors for Elastic Nets
The elastic net and related algorithms, such as generative topographic mapping, are key methods for discretized dimension-reduction problems. At their heart are priors that specify...
Miguel Á. Carreira-Perpiñán, ...