44651 search results - page 151 / 8931 » A Generalization of the Least General Generalization |
176
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
146
click to vote
CORR
2010
Springer
15 years 4 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...
171
click to vote
IWSEC
2010
Springer
15 years 4 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...
162
click to vote
DLOG
2009
15 years 4 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 ...
139
click to vote
ICCAD
2009
IEEE
15 years 4 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...