5387 search results - page 164 / 1078 » Generating generic functions |
134
click to vote
ICIAP
2005
ACM
16 years 6 months ago
2005
ACM
An efficient approach to shape matching in digital images is presented. The method, called Weighted Edge Potential Function, is a significant improvement of the EPF similarity meas...
149
click to vote
ICIP
2008
IEEE
16 years 23 days ago
2008
IEEE
We propose new discrete-to-continuous interpolation models for hexagonally sampled data, that generalize two families of splines developed in the literature for the hexagonal latt...
171
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
164
click to vote
TAP
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
213
click to vote
TACAS
2001
Springer
15 years 10 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...