Sciweavers

1989 search results - page 197 / 398
» Set functions for functional logic programming
Sort
View
130
Voted
PAMI
2007
125views more  PAMI 2007»
15 years 3 months ago
Matching by Linear Programming and Successive Convexification
—We present a novel convex programming scheme to solve matching problems, focusing on the challenging problem of matching in a large search range and with cluttered background. M...
Hao Jiang, Mark S. Drew, Ze-Nian Li
138
Voted
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 4 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
132
Voted
ICSM
2005
IEEE
15 years 9 months ago
Crisp: A Debugging Tool for Java Programs
Crisp is a tool (i.e., an Eclipse plug-in) for constructing intermediate versions of a Java program that is being edited in an IDE such as Eclipse. After a long editing session, a...
Ophelia Chesley, Xiaoxia Ren, Barbara G. Ryder
JCB
2000
137views more  JCB 2000»
15 years 3 months ago
NOTUNG: A Program for Dating Gene Duplications and Optimizing Gene Family Trees
Large scale gene duplication is a major force driving the evolution of genetic functional innovation. Whole genome duplications are widely believed to have played an important rol...
Kevin Chen, Dannie Durand, Martin Farach-Colton
136
Voted
CORR
2008
Springer
125views Education» more  CORR 2008»
15 years 3 months ago
Semidefinite programming for N-Player Games
Abstract. We introduce two min-max problems: the first problem is to minimize the supremum of finitely many rational functions over a compact basic semi-algebraic set whereas the s...
Rida Laraki, Jean B. Lasserre