11397 search results - page 204 / 2280 » A Relational Abstraction for Functions |
147
click to vote
ECCC
2002
15 years 7 months ago
2002
Abstract. We consider the function ensembles emerging from the construction of Goldreich, Goldwasser and Micali (GGM), when applied to an arbitrary pseudoramdon generator. We show ...
167
click to vote
FLAIRS
1998
15 years 8 months ago
1998
This paper describes a technique which allows impaired functions to be automatically determined from the faulty components and vice versa. Moreover a knowledge base containing the...
225
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
165
click to vote
MOC
2002
15 years 6 months ago
2002
Abstract. This article is devoted to the construction of a Hermite-type regularization operator transforming functions that are not necessarily C1 into globally C1 finite-element f...
179
click to vote
GEOINFO
2004
15 years 8 months ago
2004
ceptual, or abstract level, a value of type moving point (type mpoint, for short) is a function from time into point values, and a moving region (mregion) value is a function from ...