2076 search results - page 242 / 416 » Functional logic overloading |
127
click to vote
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
124
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper presents a new method to compute the probability distribution of the delay of a combinational circuit and uses it obtain an estimate of the yield of the process that ma...
99
Voted
ICCAD
2007
IEEE
16 years 20 days ago
2007
IEEE
—We present an implementation of an algorithm for constructing provably fast circuits for a class of Boolean functions with input signals that have individual starting times. We ...
127
Voted
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—In contrast to standard fuzzy clustering, which optimizes a set of prototypes, one for each cluster, this paper studies fuzzy clustering without prototypes. Starting fro...
134
Voted
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
![Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity](https://www.sciweavers.org/files/imagecache/thumbnail/imagecache/blockwise_similarity_in_0_1_via_triangular_norms_and_sugeno_integrals_application_to_cluster_validity_FUZZIEEE_2007.jpg "Blockwise Similarity in [0, 1] via Triangular Norms and Sugeno Integrals - Application to Cluster Validity")
— In many fields, e.g. decision-making, numerical values in [0,1] are available and one is often interested in detecting which are similar. In this paper, we propose an operator...