44651 search results - page 136 / 8931 » Generalized |
113
click to vote
CORR
2010
Springer
15 years 16 days 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...
120
Voted
IWSEC
2010
Springer
15 years 13 days 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...
112
click to vote
DLOG
2009
15 years 10 days 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 ...
100
Voted
ICCAD
2009
IEEE
15 years 8 days 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...
102
Voted
ICIP
2009
IEEE
15 years 8 days 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, ...