632 search results - page 95 / 127 » Proving Invariants of Functional Programs |
120
Voted
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose a utility-based resource allocation scheme for layer-encoded IPTV multicast streaming service over IEEE 802.16 WiMAX networks. Unlike existing utility-bas...
105
Voted
ICLP
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
94
Voted
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
115
Voted
FPCA
1989
15 years 4 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
97
Voted
IJCV
2000
15 years 8 days ago
2000
In this paper we show that a classic optical ow technique by Nagel and Enkelmann (1986) can be regarded as an early anisotropic di usion method with a di usion tensor. We introduc...