4403 search results - page 260 / 881 » Galois Theory of Algorithms |
185
click to vote
COMPGEOM
2003
ACM
15 years 12 months ago
2003
ACM
I discuss algorithms based on bistellar flips for inserting and deleting constraining (d − 1)-facets in d-dimensional constrained Delaunay triangulations (CDTs) and weighted CD...
142
click to vote
CVPR
1997
IEEE
16 years 8 months ago
1997
IEEE
Until now, all super-resolution algorithms have presumed that the images were taken under the same illumination conditions. This paper introduces a new approach to super-resolutio...
250
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We address skyline and top-k processing in web interaction scenarios. We model the problem space based on game theory principles and present new algorithms and heuristics to reali...
170
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
192
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...