Sciweavers

7921 search results - page 26 / 1585
» LSH-preserving functions and their applications
Sort
View
VAMOS
2009
Springer
14 years 4 months ago
Functional Variant Modeling for Adaptable Functional Networks
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...
Cem Mengi, Ibrahim Armaç
ACL2
2006
ACM
14 years 3 months ago
Function memoization and unique object representation for ACL2 functions
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
Robert S. Boyer, Warren A. Hunt Jr.
MLQ
2006
68views more  MLQ 2006»
13 years 9 months ago
On the proof theory of type two functionals based on primitive recursive operations
This paper is a companion to work of Feferman, J
David Steiner, Thomas Strahm
ETFA
2006
IEEE
14 years 3 months ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
CORR
2011
Springer
154views Education» more  CORR 2011»
13 years 1 months ago
A Fuzzy View on k-Means Based Signal Quantization with Application in Iris Segmentation
— This paper shows that the k-means quantization of a signal can be interpreted both as a crisp indicator function and as a fuzzy membership assignment describing fuzzy clusters ...
Nicolaie Popescu-Bodorin