We introduce a new approach to computing interprocedural modiļ¬cation side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
We study truthful mechanisms for auctions in which the auctioneer is trying to hire a team of agents to perform a complex task, and paying them for their work. As common in the ļ¬...
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
Detecting outliers which are grossly diļ¬erent from or inconsistent with the remaining dataset is a major challenge in real-world KDD applications. Existing outlier detection met...
Approximate reachability techniques trade o accuracy for the capacity to deal with bigger designs. Cho et al 4 proposed partitioning the set of state bits into mutually disjoint s...
Shankar G. Govindaraju, David L. Dill, Jules P. Be...