1302 search results - page 192 / 261 » Free-Style Theorem Proving |
ARSCOM
2007
13 years 9 months ago
2007
Let us denote by EX (m, n; {C4, . . . , C2t}) the family of bipartite graphs G with m and n vertices in its classes that contain no cycles of length less than or equal to 2t and h...
AUTOMATICA
2007
13 years 9 months ago
2007
This paper investigates the effects of undercompensation and overcompensation of friction in PD controlled 1DOF mechanical systems. The friction force that is acting on the mechan...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We solve the problem of minimizing the number of critical points among all functions on a surface within a prescribed distance from a given input function. The result is achieved...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology f...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...