1716 search results - page 170 / 344 » Proving Conditional Termination |
87
Voted
TCS
2008
15 years 19 days ago
2008
A two-dimensional word is a function on Z2 with finite number of values. The main problem we are interested in is periodicity of twodimensional words satisfying some local conditi...
92
Voted
CAGD
2005
15 years 19 days ago
2005
If we can evaluate a curve by means of a corner cutting algorithm, we call the corresponding system of functions a corner cutting system. We prove that corner cutting systems are ...
ANOR
2002
15 years 18 days ago
2002
This article is devoted to adverse selection problems in which individual private information is a whole utility function and cannot be reduced to some finite-dimensional parameter...
ECCC
2002
15 years 16 days ago
2002
We shall give simpler proofs of some lower bounds on monotone computations. We describe a simple condition on combinatorial structures, such that the rank of the matrix associated...
93
Voted
MOC
2000
15 years 15 days ago
2000
Abstract. We study the convergence properties of the cascadic conjugategradient method (CCG-method), which can be considered as a multilevel method without coarse-grid correction. ...