3443 search results - page 47 / 689 » More Algebras for Determiners |
ENTCS
2006
13 years 8 months ago
2006
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...
JSYML
2007
13 years 8 months ago
2007
Let A1, . . . , An, An+1 be a finite sequence of algebras of sets given on a set X, n k=1 Ak = P(X), with more than 4 3 n pairwise disjoint sets not
ECMDAFA
2007
Springer
14 years 2 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
JC
2007
13 years 8 months ago
2007
We extend the lower bounds on the complexity of computing Betti numbers proved in [6] to complex algebraic varieties. More precisely, we first prove that the problem of deciding ...
DCG
2002
13 years 7 months ago
2002
We study the map which sends vectors of polynomials into their Wronski determinants. This defines a projection map of a Grassmann variety which we call a Wronski map. Our main res...