15033 search results - page 214 / 3007 » Complexity Theory and Algorithms |
112
click to vote
ISSAC
1998
Springer
15 years 8 months ago
1998
Springer
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...
197
click to vote
ALDT
2011
Springer
14 years 4 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
113
click to vote
WDAG
2001
Springer
15 years 9 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
117
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
125
click to vote
ICISC
2004
15 years 5 months ago
2004
Abstract. The XL (eXtended Linearization) equation-solving algorithm belongs to the same extended family as the advanced Gr