Sciweavers

18155 search results - page 7 / 3631
» Point
Sort
View
CCCG
2010
14 years 11 months ago
Compatible pointed pseudo-triangulations
For a given point set S (in general position), two pointed pseudo-triangulations are compatible if their union is plane. We show that for any set S there exist two maximally disjo...
Thomas Hackl, Oswin Aichholzer, Birgit Vogtenhuber
STOC
2005
ACM
107views Algorithms» more  STOC 2005»
15 years 10 months ago
On obfuscating point functions
We study the problem of obfuscation in the context of point functions (also known as delta functions). A point function is a Boolean function that assumes the value 1 at exactly o...
Hoeteck Wee
LICS
1999
IEEE
15 years 1 months ago
Guarded Fixed Point Logic
Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of firstorder logic that were recently introduced by Andr
Erich Grädel, Igor Walukiewicz