922 search results - page 77 / 185 » A generalization of the Lin-Zhao theorem |
LATIN
2004
Springer
14 years 3 months ago
2004
Springer
In a preceding paper [6], automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite...
CSL
2001
Springer
14 years 2 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
ICRA
1994
IEEE
14 years 2 months ago
1994
IEEE
The e ect of redundant sensors in the solution of the direct kinematics of general parallel manipulators is studied here, for purposes of on-line implementation. We describe three...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
We propose a theory of eigenvalues, eigenvectors, singular values, and singular vectors for tensors based on a constrained variational approach much like the Rayleigh quotient for...