581 search results - page 71 / 117 » Translating dependency into parametricity |
ALT
2011
Springer
12 years 10 months ago
2011
Springer
Deep architectures are families of functions corresponding to deep circuits. Deep Learning algorithms are based on parametrizing such circuits and tuning their parameters so as to ...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
A fully affine invariant image comparison method, Affine-SIFT (ASIFT) is introduced. While SIFT is fully invariant with respect to only four parameters namely zoom, rotation and...
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
ICTAC
2007
Springer
14 years 4 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
ROBIO
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— In this paper, the architectural parameters optimization of a three-prismatic-universal-universal (3-PUU) parallel kinematic machine (PKM) with three translational degr...