721 search results - page 60 / 145 » Stability for Effective Algebras |
120
click to vote
AISC
2010
Springer
15 years 3 months ago
2010
Springer
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where pl...
ENTCS
2006
14 years 12 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
ICCV
1999
IEEE
16 years 1 months ago
1999
IEEE
We describe two direct quasilinear methods for camera pose (absolute orientation) and calibration from a single image of 4 or 5 known 3D points. They generalize the 6 point `Direc...
ISSAC
2007
Springer
15 years 6 months ago
2007
Springer
The parallelization of two applications in symmetric cryptography is considered: block ciphering and a new method based on random sampling for the selection of basic substitution ...
ICCAD
2005
IEEE
15 years 5 months ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...