971 search results - page 191 / 195 » Approximate Satisfiability and Equivalence |
COMGEO
2007
ACM
13 years 11 months ago
2007
ACM
In this paper we investigate the relations between spanners, weak spanners, and power spanners in RD for any dimension D and apply our results to topology control in wireless netw...
SIAMCO
2008
13 years 10 months ago
2008
The aim of this paper is to adapt the Viability Theorem from differential inclusions (governing the evolution of vectors in a finite dimensional space) to so-called morphological i...
RAS
2006
13 years 10 months ago
2006
In automatic guidance of agriculture vehicles, lateral control is not the only requirement. Much research work has been focused on trajectory tracking control which can provide hi...
JC
2007
13 years 10 months ago
2007
Let q ≥ 1 be an integer, Sq denote the unit sphere embedded in the Euclidean space Rq+1, and µq be its Lebesgue surface measure. We establish upper and lower bounds for sup fâˆ...
JOIN
2007
13 years 10 months ago
2007
This paper is devoted to the following incremental problem. Initially, a graph and a distinguished subset of vertices, called initial group, are given. This group is connected by ...