3670 search results - page 500 / 734 » Linear Recursive Functions |
184
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Comparative analysis of protein networks has proven to be a powerful approach for elucidating network structure and predicting protein function and interaction. A fundamental chall...
197
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
173
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
- A gate level probabilistic error propagation model is presented which takes as input the Boolean function of the gate, the signal and error probabilities of the gate inputs, and ...
134
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. ...
179
click to vote
CVPR
2010
IEEE
16 years 2 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...