CONSTRAINTS
2007
13 years 11 months ago
2007
When a new (global) constraint is introduced in local search, measures for the penalty and variable conflicts of that constraint must be defined, and incremental algorithms for m...
COMPGEOM
1994
ACM
14 years 3 months ago
1994
ACM
We give simple randomized incremental algorithms for computing the k-level in an arrangement of n lines in the plane or in an arrangement of n planes in R3. The expected running ti...
SIGMOD
1998
ACM
14 years 3 months ago
1998
ACM
Two new spatial join operations, distance join and distance semijoin, are introduced where the join output is ordered by the distance betweenthe spatialattribute values ofthe join...
POPL
2003
ACM
14 years 11 months ago
2003
ACM
SIGSOFT
2004
ACM
15 years 6 days ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...