11397 search results - page 262 / 2280 » A Relational Abstraction for Functions |
181
click to vote
INFSOF
1998
15 years 7 months ago
1998
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
190
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
The class TFNP, defined by Megiddo and Papadimitriou, consists of multivalued functions with values that are polynomially verifiable and guaranteed to exist. Do we have evidence ...
170
click to vote
ICRA
2003
IEEE
16 years 16 days ago
2003
IEEE
– Borrowing a concept from hydrodynamic analysis, this paper presents stream functions which satisfy Laplace’s equation as a local-minima free method for producing potential-...
158
click to vote
EUROCRYPT
1990
Springer
15 years 11 months ago
1990
Springer
The relation between the Walsh-Hadamard transform and the autocorrelation function of Boolean functions is used to study propagation characteristics of these functions. The Strict...
181
click to vote
FOIS
2006
15 years 8 months ago
2006
This paper examines the concepts biological function (BF) and functioning as they are used in recent work on formal ontology and its applications in the biomedical domain. My purpo...