11397 search results - page 10 / 2280 » A Relational Abstraction for Functions |
FSS
2007
13 years 9 months ago
2007
Abstract – In this paper two new concepts are introduced: the similarity and the (∗,δ)-equality of fuzzy choice functions. We investigate the manner the similarity and (∗,δ...
CASC
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper we present algorithmic considerations and theoretical results about the relation between the orders of certain groups associated to the components of a poly...
COCO
1991
Springer
14 years 1 months ago
1991
Springer
Abstract Rafail Ostrovskyy MIT Laboratory for Computer Science 545 Technology Square, Cambridge, MA 02139 In this paper, we study connections among one-way functions, hard on the ...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
IFL
2003
Springer
14 years 3 months ago
2003
Springer
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...