Sciweavers

1638 search results - page 42 / 328
» Properties of input-consuming derivations
Sort
View
JMLR
2008
110views more  JMLR 2008»
14 years 9 months ago
A Bahadur Representation of the Linear Support Vector Machine
The support vector machine has been successful in a variety of applications. Also on the theoretical front, statistical properties of the support vector machine have been studied ...
Ja-Yong Koo, Yoonkyung Lee, Yuwon Kim, Changyi Par...
ENTCS
2007
109views more  ENTCS 2007»
14 years 9 months ago
Free Theorems and Runtime Type Representations
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
Dimitrios Vytiniotis, Stephanie Weirich
MP
2006
97views more  MP 2006»
14 years 9 months ago
Subdifferential representations of risk measures
Measures of risk appear in two categories: Risk capital measures serve to determine the necessary amount of risk capital in order to avoid ruin if the outcomes of an economic acti...
Georg Ch. Pflug
TIP
2008
115views more  TIP 2008»
14 years 9 months ago
Nonlinearities in Stereoscopic Phase-Differencing
Exploiting the quasi-linear relationship between local phase and disparity, phase-differencing registration algorithms provide a fast, powerful means for disparity estimation. Unfo...
James Monaco, Alan C. Bovik, Lawrence K. Cormack
TOG
2008
106views more  TOG 2008»
14 years 9 months ago
Green Coordinates
We introduce Green Coordinates for closed polyhedral cages. The coordinates are motivated by Green's third integral identity and respect both the vertices position and faces ...
Yaron Lipman, David Levin, Daniel Cohen-Or