10995 search results - page 148 / 2199 » Positioning |
CORR
2010
Springer
15 years 2 months ago
2010
Springer
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
CORR
2010
Springer
15 years 2 months ago
2010
Springer
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We give bit-size estimates for the coefficients appearing in triangular sets describing positive-dimensional algebraic sets defined over Q. These estimates are worst case upper bo...