MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Termination of Linear Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Termination of Linear Programs
by Ashish Tiwari — 2004 — In CAV’2004: Computer Aided Verification, volume 3114 of LNCS
…Termination of Linear Programs Ashish Tiwari ⋆ SRI International, 333 Ravenswood Ave, Menlo Park…
Cited by 24 (0 self) – Add To MetaCart

Termination of Linear Programs
by unknown authors
… Termination of Linear Programs Ashish Tiwari? SRI International, 333 Ravenswood Ave, Menlo Park…
Add To MetaCart

Massive Data Discrimination via Linear Support Vector Machines
by P. S. Bradley, O. L. Mangasarian — 1998 — Optimization Methods and Software
…, finitely-terminating linear-programming algorithm for discriminating between two massive sets in n…
Cited by 41 (15 self) – Add To MetaCart

unknown title
by unknown authors
… + 10; } Example (from [19]) of a terminating linear program with no linear ranking function. Note…
Add To MetaCart

Quantifier Elimination for Quartics
by Lu Yang, Bican Xia
… in Application Our first example comes from determination of termination of linear loop programs. Termination…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB