2652 search results - page 82 / 531 » Privacy-preserving linear programming |
RECOMB
2009
Springer
15 years 6 months ago
2009
Springer
Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, num...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
COCO
2007
Springer
15 years 6 months ago
2007
Springer
We study semidefinite programming relaxations of Vertex Cover arising from repeated applications of the LS+ “lift-and-project” method of Lovasz and Schrijver starting from th...
ICALP
2009
Springer
16 years 3 days ago
2009
Springer
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the