1716 search results - page 199 / 344 » Proving Conditional Termination |
94
Voted
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
92
Voted
GCB
2003
Springer
15 years 6 months ago
2003
Springer
The further development of analytical techniques based on gas chromatography and mass spectrometry now facilitate the generation of larger sets of metabolite concentration data. T...
96
Voted
COMPGEOM
2010
ACM
15 years 5 months ago
2010
ACM
We consider the problem of reconstructing a compact 3manifold (with boundary) embedded in R3 from its crosssections with a given set of cutting planes having arbitrary orientation...
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
We use viability techniques for solving Dirichlet problems with inequality constraints (obstacles) for a class of Hamilton-Jacobi equations. The hypograph of the “solution” is ...
106
Voted
ISPD
1999
ACM
15 years 5 months ago
1999
ACM
The sequence-pair was proposed in 1994 as a representation of the packing of rectangles of general structure. Since then, there have been e orts to expand its applicability over s...