44651 search results - page 136 / 8931 » Generalized |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
IWSEC
2010
Springer
13 years 8 months ago
2010
Springer
We use two parametrizations of points on elliptic curves in generalized Edwards form x2 + y2 = c2 (1 + dx2 y2 ) that omit the xcoordinate. The first parametrization leads to a diff...
DLOG
2009
13 years 8 months ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
ICCAD
2009
IEEE
13 years 8 months ago
2009
IEEE
A generalized Hamiltonian method (GHM) is proposed for passivity test of descriptor systems (DSs) which describe impedance or admittance input-output responses. GHM can test passi...
ICIP
2009
IEEE
13 years 7 months ago
2009
IEEE
We propose a simple but flexible method for solving the generalized vector-valued TV (VTV) functional, which includes both the 2 -VTV and 1 -VTV regularizations as special cases, ...