11739 search results - page 419 / 2348 » Slideshow: functional presentations |
182
click to vote
ICIAP
2007
ACM
16 years 7 months ago
2007
ACM
An algorithm for combining results of different clusterings is presented in this paper, the objective of which is to find groups of patterns which are common to all clusterings. T...
184
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
217
click to vote
ESOP
2010
Springer
16 years 5 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
164
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
Detailed electromagnetic analysis of three-dimensional structures in multilayered dielectric media is critical for automatic generation of equivalent circuit models for the interc...
195
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...