713 search results - page 17 / 143 » Saving Space by Algebraization |
EJC
2007
14 years 9 months ago
2007
We give a characterization of the root shadow spaces of buildings whose types correspond to Dynkin diagrams. The results generalize earlier geometric point-line characterizations ...
ISSAC
2009
Springer
15 years 4 months ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
JCT
2010
14 years 8 months ago
2010
We study a q-analog Qr(n, q) of the partition algebra Pr(n). The algebra Qr(n, q) arises as the centralizer algebra of the finite general linear group GLn(Fq) acting on a vector ...
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
ICTAI
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...