1716 search results - page 119 / 344 » Proving Conditional Termination |
EOR
2007
13 years 8 months ago
2007
In the constraint proposal method a mediator locates points at which the two decision makers have joint tangent hyperplanes. We give conditions under which these points are Pareto...
TIT
2008
13 years 8 months ago
2008
Progressive encoding of a signal generally involves an estimation step, designed to reduce the entropy of the residual of an observation over the entropy of the observation itself....
JAIR
2007
13 years 8 months ago
2007
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...
COMBINATORICS
2004
13 years 8 months ago
2004
When can a d-dimensional rectangular box R be tiled by translates of two given d-dimensional rectangular bricks B1 and B2? We prove that R can be tiled by translates of B1 and B2 ...
SIAMAM
2000
13 years 8 months ago
2000
We study the stability and oscillation of traveling fronts in a three-component, advection-reaction biodegradation model. The three components are pollutant, nutrient, and bacteria...