2000 search results - page 184 / 400 » Program Transformation and Proof Transformation |
155
click to vote
OL
2007
15 years 3 months ago
2007
We propose an SQP-type algorithm for solving nonlinear second-order cone programming (NSOCP) problems. At every iteration, the algorithm solves a convex SOCP subproblem in which th...
132
Voted
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
136
click to vote
IISWC
2006
IEEE
15 years 9 months ago
2006
IEEE
The load instructions of some of the bioinformatics applications in the BioPerf suite possess interesting characteristics: only a few static loads cover almost the entire dynamic ...
137
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes employing a graph-theoretic approach to estimate the region correspondence between two images. We represent each image as an attributed undirected graph and tr...
121
click to vote
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Finding intensional encapsulations of database subsets is the inverse of query evaluation. Whereas query evaluation transforms an intensional expression (the query) to its extensi...