3007 search results - page 365 / 602 » Linear Functional Fixed-points |
100
click to vote
ICCD
2001
IEEE
16 years 14 days ago
2001
IEEE
Reduced Ordered Binary Decision Diagrams (BDDs) are a data structure for representation and manipulation of Boolean functions which are frequently used in VLSI Design Automation. ...
130
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Graph cuts have proven useful for image segmentation and for volumetric reconstruction in multiple view stereo. However, solutions are biased: the cost function tends to favour ei...
125
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
The integral image is typically used for fast integrating a function over a rectangular region in an image. We propose a method that extends the integral image to do fast integrat...
149
Voted
DCC
2010
IEEE
15 years 10 months ago
2010
IEEE
The multiple description coding of an independent and identically distributed Gaussian source over bit error channels is considered. A novel practical multiple description coding ...
148
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...