3068 search results - page 23 / 614 » Separation Results on the |
STACS
2010
Springer
15 years 6 months ago
2010
Springer
We present a method for reducing the treewidth of a graph while preserving all the minimal s−t separators. This technique turns out to be very useful in the design of parameteriz...
101
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
101
click to vote
ENTCS
2008
14 years 12 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present error and performance analysis of a Monte Carlo variance reduction method for solving multidimensional integrals and integral equations. This method, calle...
126
click to vote
COMPUTING
2004
14 years 11 months ago
2004
We present a simple, accurate and efficient algorithm for collision detection among moving ellipsoids. Its efficiency is attributed to two results: (i) a simple algebraic test for...