1716 search results - page 119 / 344 » Proving Conditional Termination |
115
Voted
EOR
2007
15 years 21 days 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...
94
Voted
TIT
2008
15 years 20 days 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....
138
click to vote
JAIR
2007
15 years 20 days 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...
74
Voted
COMBINATORICS
2004
15 years 18 days 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 ...
95
Voted
SIAMAM
2000
15 years 16 days 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...