867 search results - page 56 / 174 » On Two Forms of Structural Recursion |
108
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
118
Voted
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
We study and compare two novel embedding methods for segmenting feature points of piece-wise planar structures from two (uncalibrated) perspective images. We show that a set of di...
155
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Ribonucleic acid (RNA) molecules play important roles in many biological processes including gene expression and regulation. An RNA molecule is a linear polymer which folds back o...
116
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
With the advance of semiconductor manufacturing, There are many approaches to deal with these problems. EDA, and VLSI design technologies, circuits with even higher Adding discrete...
119
Voted
IPL
2002
15 years 2 months ago
2002
An algorithm, described by Sedgewick, finds the distance between the closest pair of n given points in a plane using a variant of mergesort. This takes O(n log n) time. To prove t...