317 search results - page 9 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
136
click to vote
CVPR
1999
IEEE
16 years 4 months ago
1999
IEEE
A recursive method is presented for recovering 3D object shape and camera motion under orthography from an extended sequence of video images. This may be viewed as a natural exten...
137
Voted
WCNC
2010
IEEE
15 years 1 months ago
2010
IEEE
—Since sensor nodes use batteries as their source of energy, energy-based routing becomes an important requirement to extend network lifetime. This routing is done using the node...
101
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
195
Voted
FPCA
1995
15 years 6 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
145
Voted
OSDI
1996
ACM
15 years 4 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...