History
1
au:Lu, L*
844


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 701 721 741 761 781 801 821 841 | next | last

Result 801 to 820 of 844 total

A regular type analysis of logic programs (English)
ICLP, 613 (1999).
WorldCat.org
801
PDF XML AMS-TeX TEXT BIBTeX
Folding cartons with fixtures: A motion planning approach (English)
ICRA, 1570-1576 (1999).
WorldCat.org
802
PDF XML AMS-TeX TEXT BIBTeX
An operational semantics of starlog (English)
PPDP, 294-310 (1999).
WorldCat.org
803
PDF XML AMS-TeX TEXT BIBTeX DOI
Dyta: an intelligent system for moving target detection (English)
ICIAP, 1116- (1999).
WorldCat.org
804
PDF XML AMS-TeX TEXT BIBTeX URL
Protein secondary structure prediction using data mining tool C5 (English)
ICTAI, 107- (1999).
WorldCat.org
805
PDF XML AMS-TeX TEXT BIBTeX URL
A scalable load balancing system for nows. (English)
Oper. Syst. Rev. 32, No. 3, 55-63 (1998).
WorldCat.org
806
PDF XML AMS-TeX TEXT BIBTeX DOI
Deriving abstract semantics for forward analysis of normal logic programs. (English)
Comput. Res. Repos. 1998, Article No. 9811012 (1998).
WorldCat.org
807
PDF XML AMS-TeX TEXT BIBTeX URL
A polymorphic groundness analysis of logic programs. (English)
Comput. Res. Repos. 1998, Article No. 9811001 (1998).
WorldCat.org
808
PDF XML AMS-TeX TEXT BIBTeX URL
An emptiness algorithm for regular types with set operators. (English)
Comput. Res. Repos. 1998, Article No. 9811015 (1998).
WorldCat.org
809
PDF XML AMS-TeX TEXT BIBTeX URL
On dart-zobel algorithm for testing regular type inclusion. (English)
Comput. Res. Repos. 1998, Article No. 9810001 (1998).
WorldCat.org
810
PDF XML AMS-TeX TEXT BIBTeX URL
Polymorphic type analysis in logic programs by abstract interpretation. (English)
J. Log. Program. 36, No.1, 1-54 (1998).
WorldCat.org
811
PDF XML AMS-TeX TEXT BIBTeX DOI
Polymorphic type analysis in logic programs by abstract intepretation (English)
J. Log. Program. 36, No. 1, 1-54 (1998).
WorldCat.org
812
PDF XML AMS-TeX TEXT BIBTeX DOI
Constructive negation using typed existence properties (English)
PLILP/ALP, 411-426 (1998).
WorldCat.org
813
PDF XML AMS-TeX TEXT BIBTeX DOI
On the matrix-sign-function method for solving algebraic Riccati equations. (English)
Appl. Math. Comput. 86, No.2-3, 157-170 (1997).
WorldCat.org
814
PDF XML AMS-TeX TEXT BIBTeX DOI
The minimal eigenvalues of a class of block-tridiagonal matrices. (English)
IEEE Trans. Inf. Theory 43, No.2, 787-791 (1997).
WorldCat.org
815
PDF XML AMS-TeX TEXT BIBTeX DOI
The minimal eigenvalues of a class of block-tridiagonal matrices (English)
IEEE Transactions on Information Theory 43, No. 2, 787-791 (1997).
WorldCat.org
816
PDF XML AMS-TeX TEXT BIBTeX DOI
Optimal access control for broadband services: Stochastic knapsack with advance information. (English)
Eur. J. Oper. Res. 89, No.1, 127-134 (1996).
WorldCat.org
817
PDF XML AMS-TeX TEXT BIBTeX DOI
A mode analysis of logic programs by abstract interpretation (English)
Ershov Memorial Conference, 362-373 (1996).
WorldCat.org
818
PDF XML AMS-TeX TEXT BIBTeX DOI
Matrix bounds and simple iteration for the positive semidefinite solution to discrete-time algebraic Riccati equation. (Chinese)
J. Xiamen Univ., Nat. Sci. 34, No.4, 512-516 (1995).
WorldCat.org
819
PDF XML AMS-TeX TEXT BIBTeX
Hamiltonian QR algorithm for some small input control system. (Chinese)
Numer. Math., Nanjing 17, No.2, 176-184 (1995).
WorldCat.org
820
PDF XML AMS-TeX TEXT BIBTeX
first | previous | 701 721 741 761 781 801 821 841 | next | last

Result 801 to 820 of 844 total

Valid XHTML 1.0 Transitional Valid CSS!