1604 search results - page 158 / 321 » Regularization on Discrete Spaces |
136
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
147
Voted
MOC
2002
15 years 3 months ago
2002
We study the convergence properties of the hp-version of the local discontinuous Galerkin finite element method for convection-diffusion problems; we consider a model problem in a ...
140
Voted
MP
2010
15 years 2 months ago
2010
In the extension of Newton’s method to generalized equations, applying to variational inequalities as a special case, convergence analysis relates to a corresponding implicit fun...
123
click to vote
IMCSIT
2010
15 years 1 months ago
2010
Abstract--Finding regularities in large data sets requires implementations of systems that are efficient in both time and space requirements. Here, we describe a newly developed sy...
82
Voted
JMLR
2010
14 years 10 months ago
2010
This paper addresses multidimensional tuning parameter selection in the context of "train-validate-test" and K-fold cross validation. A coarse grid search over tuning pa...