2069 search results - page 65 / 414 » Linear time algorithms for Clobber |
128
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
108
click to vote
DCG
2010
15 years 4 months ago
2010
Given any > 0 and any planar region bounded by a simple n-gon P we construct a (1 + )-quasiconformal map between and the unit disk in time C()n. One can take C() = C + C log ...
153
click to vote
WINE
2010
Springer
15 years 1 months ago
2010
Springer
Online auctions in which items are sold in an online fashion with little knowledge about future bids are common in the internet environment. We study here a problem in which an auc...
154
click to vote
WINE
2005
Springer
15 years 9 months ago
2005
Springer
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...
109
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The paper firstly analyses the error caused by the linear trajectory model and the Fresnel approximation because of the long synthetic aperture time in Geosynchronous Synthetic Ap...