Sciweavers

357 search results - page 17 / 72
» Is Computational Complexity a Barrier to Manipulation
Sort
View
ISSAC
2009
Springer
171views Mathematics» more  ISSAC 2009»
16 years 9 days ago
Computing cylindrical algebraic decomposition via triangular decomposition
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...
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
ISSAC
2005
Springer
94views Mathematics» more  ISSAC 2005»
15 years 11 months ago
Domains and expressions: an interface between two approaches to computer algebra
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
Cosmin E. Oancea, Stephen M. Watt
FCS
2006
15 years 7 months ago
Another Algorithm for Computing Longest Common Increasing Subsequence for Two Random Input Sequences
We have previously developed several algorithms which deal with different input sequence scenarios respectively. In this paper, another sequential algorithm for computing Longest ...
Yongsheng Bai, Bob P. Weems
USITS
2001
15 years 7 months ago
Puppeteer: Component-based Adaptation for Mobile Computing
Puppeteer is a system for adapting component-based applications in mobile environments. Puppeteer takes advantage of the exported interfaces of these applications and the structur...
Eyal de Lara, Dan S. Wallach, Willy Zwaenepoel
SIGMOD
2006
ACM
159views Database» more  SIGMOD 2006»
16 years 5 months ago
Flexible and efficient XML search with complex full-text predicates
Recently, there has been extensive research that generated a wealth of new XML full-text query languages, ranging from simple Boolean search to combining sophisticated proximity a...
Sihem Amer-Yahia, Emiran Curtmola, Alin Deutsch