Sciweavers

2297 search results - page 212 / 460
» An Algorithm for Computing the Integral Closure
Sort
View
ESCIENCE
2007
IEEE
15 years 7 months ago
Storing and Querying Scientific Workflow Provenance Metadata Using an RDBMS
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
Artem Chebotko, Xubo Fei, Cui Lin, Shiyong Lu, Far...
108
Voted
CORR
2010
Springer
159views Education» more  CORR 2010»
15 years 4 months ago
An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
Eric Berberich, Pavel Emeliyanenko, Michael Sagral...
134
Voted
FCSC
2008
88views more  FCSC 2008»
15 years 4 months ago
Fraction-free matrix factors: new forms for LU and QR factors
Gaussian elimination and LU factoring have been greatly studied from the algorithmic point of view, but much less from the point view of the best output format. In this paper, we g...
Wenqin Zhou, David J. Jeffrey
MP
2006
103views more  MP 2006»
15 years 3 months ago
Assessing solution quality in stochastic programs
Determining if a solution is optimal or near optimal is fundamental in optimization theory, algorithms, and computation. For instance, Karush-Kuhn-Tucker conditions provide necessa...
Güzin Bayraksan, David P. Morton
PVLDB
2008
123views more  PVLDB 2008»
15 years 3 months ago
Propagating functional dependencies with conditions
The dependency propagation problem is to determine, given a view defined on data sources and a set of dependencies on the sources, whether another dependency is guaranteed to hold...
Wenfei Fan, Shuai Ma, Yanli Hu, Jie Liu, Yinghui W...