17770 search results - page 92 / 3554 » A Generalization of Forward-Backward Algorithm |
ESOP
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
ACISP
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a "generalized small inverse problem (GSIP)" and present an algorithm for solving this problem. GSIP is formulated as finding small solutions of f(x0, x1, . ...
COMPIMAGE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper presents a theoretical generalization of the circumcenter as the intersection of generalized perpendicular bisectors. We define generalized bisectors between ...
AAECC
1998
Springer
14 years 9 months ago
1998
Springer
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
182
click to vote
ICDE
2003
IEEE
15 years 11 months ago
2003
IEEE
The output of boolean association rule mining algorithms is often too large for manual examination. For dense datasets, it is often impractical to even generate all frequent items...