3007 search results - page 365 / 602 » Linear Functional Fixed-points |
142
click to vote
ICCD
2001
IEEE
16 years 3 months 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. ...
187
click to vote
CVPR
2010
IEEE
16 years 3 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...
171
click to vote
CVPR
2010
IEEE
16 years 2 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...
208
click to vote
DCC
2010
IEEE
16 years 1 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 ...
203
click to vote
FOSSACS
2010
Springer
16 years 1 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...