CONSTRAINTS
2007
13 years 4 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
13 years 8 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
13 years 8 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 4 months ago
2003
ACM
SIGSOFT
2004
ACM
14 years 5 months 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 ...