6800 search results - page 960 / 1360 » Testing with Functions as Specifications |
169
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
197
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
Directed diffusion is a prominent example of data-centric routing based on application layer data and purely local interactions. In its functioning it relies heavily on network-wid...
157
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...
186
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
The potential benefits of Web services composition heavily rely on semantic interoperability, i.e., the ability to exchange data meaningfully amongst Web services. Context heterog...
239
click to vote
FOIKS
2008
Springer
16 years 3 months ago
2008
Springer
Supervised learning deals with the inference of a distribution over an output or label space $\CY$ conditioned on points in an observation space $\CX$, given a training dataset $D$...