804 search results - page 93 / 161 » On the Termination of the Chase Algorithm |
186
click to vote
PODC
2011
ACM
14 years 9 months ago
2011
ACM
Internet supercomputing is becoming an increasingly popular means for harnessing the power of a vast number of interconnected computers. This comes at a cost substantially lower t...
203
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
180
click to vote
ISSAC
2007
Springer
16 years 12 days ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
152
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
169
click to vote
IDEAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...