11397 search results - page 137 / 2280 » A Relational Abstraction for Functions |
164
click to vote
AFP
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using...
151
click to vote
ANTS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper describes a method for computing the fundamental unit and regulator of a purely cubic congruence function field of unit
159
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Distributed protocols resilient to Byzantine failures are notorious to be costly from the computational and communication point of view. In this paper we discuss the role...
233
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
ABSTRACT. Reeb graphs provide a method for studying the shape of a manifold by encoding the evolution and arrangement of level sets of a simple Morse function defined on
152
click to vote
ADCM
2006
15 years 7 months ago
2006
Abstract. The paper develops a necessary condition for the regularity of a multivariate refinable function in terms of a factorization property of the associated subdivision mask. ...