89 search results - page 9 / 18 » Effective Set Membership in Computer Algebra and Beyond |
CIE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
LICS
2008
IEEE
15 years 3 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
159
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
In this submission for the CHI05 Development forum, I reflect on my experience leading the Experience Design community of interest of the American Institute of Graphic Arts and su...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
The impossibility of current spatial database systems and GIS to handle spatial vagueness and imprecision has been recognized as an important problem in the spatial database domai...